Concepedia
Statistics
Publications
18
Citations
557
H-Index
14
Active since
1998
Affiliations
University of Sussex(Current)
DePaul University
University of Southampton
Julian Rathke is an author at University of Sussex specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationParallel ProgrammingSoftware Engineering
Publications per year
1998–2011
A fully abstract may testing semantics for concurrent objects
Alan Jeffrey, Julian Rathke · Theoretical Computer Science · 2004 · 74 citations
Engineering, Program Analysis, Automated Reasoning +11
Contextual equivalence for higher-order pi-calculus revisited
Alan Jeffrey, Julian Rathke · Logical Methods in Computer Science · 2005 · 61 citations · Full text
Engineering, Generalized Function, Operational Semantics +13
Typed behavioural equivalences for processes in the presence of subtyping
Matthew Hennessy, Julian Rathke · Mathematical Structures in Computer Science · 2004 · 60 citations
Engineering, Type Theory, Verification +16
Towards a theory of bisimulation for local names
Alan Jeffrey, Julian Rathke · 2003 · 57 citations
Computational Logic, Combinatorics On Word, Unique Name Generation +15
Towards a behavioural theory of access and mobility control in distributed systems
Matthew Hennessy, Massimo Merro, Julian Rathke · Theoretical Computer Science · 2004 · 44 citations
Mobility Protocol, Engineering, Mobility Modeling +10
1–5 of 18