Julian Rathke

44 papers A* 4A 2B 11C 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2018 J jnl
Preemptive type checking.
J. Log. Algebraic Methods Program.
Neville Grech, Bernd Fischer, Julian Rathke
2014 — conf
Compositional Reachability in Petri Nets.
RP
Julian Rathke, Pawel Sobocinski, Owen Stephens
2013 J jnl
Decomposing Petri nets
CoRR
Julian Rathke, Pawel Sobocinski, Owen Stephens
2013 C conf
Preemptive Type Checking in Dynamically Typed Languages.
ICTAC
Neville Grech, Julian Rathke, Bernd Fischer
2012 B conf
Dynamic Software Update for Message Passing Programs.
APLAS
Gabrielle Anderson, Julian Rathke
2011 A conf
Local Memory via Layout Randomization.
CSF
Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely
2011 J jnl
Permission-Based Separation Logic for Message-Passing Concurrency
Log. Methods Comput. Sci.
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
2011 B conf
The Lax Braided Structure of Streaming I/O.
CSL
Alan Jeffrey, Julian Rathke
2010 J jnl
Deriving structural labelled transitions for mobile ambients.
Inf. Comput.
Julian Rathke, Pawel Sobocinski
2010 B conf
JEqualityGen: generating equality and hashing methods.
GPCE
Neville Grech, Julian Rathke, Bernd Fischer
2009 J jnl
Deriving Labelled Transition Systems - A Structural Approach.
Bull. EATCS
Julian Rathke, Pawel Sobocinski
2009 — conf
Migrating Protocols in Multi-Threaded Message-Passing Systems.
HotSWUp
Austin Anderson, Julian Rathke
2008 — conf
Deconstructing behavioural theories of mobility.
IFIP TCS
Julian Rathke, Pawel Sobocinski
2008 B conf
Deriving Structural Labelled Transitions for Mobile Ambients.
CONCUR
Julian Rathke, Pawel Sobocinski
2008 J jnl
Full abstraction for polymorphic pi-calculus.
Theor. Comput. Sci.
Alan Jeffrey, Julian Rathke
2008 — conf
Making the Unobservable, Unobservable.
ICE@ICALP
Julian Rathke, Pawel Sobocinski
2007 B conf
Semantic Barbs and Biorthogonality.
FoSSaCS
Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
2005 J jnl
A fully abstract may testing semantics for concurrent objects.
Theor. Comput. Sci.
Alan Jeffrey, Julian Rathke
2005 J jnl
Contextual equivalence for higher-order pi-calculus revisited
CoRR
Alan Jeffrey, Julian Rathke
2005 J jnl
Contextual equivalence for higher-order pi-calculus revisited.
Log. Methods Comput. Sci.
Alan Jeffrey, Julian Rathke
2005 B conf
Full Abstraction for Polymorphic Pi-Calculus.
FoSSaCS
Alan Jeffrey, Julian Rathke
2005 A conf
Java Jr: Fully Abstract Trace Semantics for a Core Java Language.
ESOP
Alan Jeffrey, Julian Rathke
2005 — ed.
Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, FGUC 2004, London, UK, September 3-4, 2004
FGUC
Julian Rathke
2005 C conf
Proof Methodologies for Behavioural Equivalence in DPI.
FORTE
Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke
2005 J jnl
safeDpi: a language for controlling mobile code.
Acta Informatica
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
2004 J jnl
A theory of bisimulation for a fragment of concurrent ML with local names.
Theor. Comput. Sci.
Alan Jeffrey, Julian Rathke
2004 — conf
Preface.
FGUC
Julian Rathke
2004 J jnl
Towards a behavioural theory of access and mobility control in distributed systems.
Theor. Comput. Sci.
Matthew Hennessy, Massimo Merro, Julian Rathke
2004 J jnl
Typed behavioural equivalences for processes in the presence of subtyping.
Math. Struct. Comput. Sci.
Matthew Hennessy, Julian Rathke
2004 B conf
safeDpi: A Language for Controlling Mobile Code.
FoSSaCS
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
2003 B conf
Contextual Equivalence for Higher-Order π-Calculus Revisited.
MFPS
Alan Jeffrey, Julian Rathke
2003 — conf
Risky Business: Motivations for Markets in Programmable Networks.
IWAN
Ian Wakeman, David Ellis, Tim Owen, Julian Rathke, Des Watson
2003 B conf
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
FoSSaCS
Matthew Hennessy, Massimo Merro, Julian Rathke
2002 A* conf
A Fully Abstract May Testing Semantics for Concurrent Objects.
LICS
Alan Jeffrey, Julian Rathke
2002 — conf
Typed behavioural equivalences for processes in the presence of subtyping.
CATS
Matthew Hennessy, Julian Rathke
2001 J jnl
Unique fixpoint induction for message-passing process calculi.
Sci. Comput. Program.
Matthew Hennessy, Huimin Lin, Julian Rathke
2000 A* conf
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names.
LICS
Alan Jeffrey, Julian Rathke
1999 A* conf
Towards a Theory of Bisimulation for Local Names.
LICS
Alan Jeffrey, Julian Rathke
1998 J jnl
Bisimulations for a Calculus of Broadcasting Systems.
Theor. Comput. Sci.
Matthew Hennessy, Julian Rathke
1998 B conf
Resource Based Models for Asynchrony.
FoSSaCS
Julian Rathke
1997 — conf
Local Model Checking for Value-Passing Processes (Extended Abstract).
TACS
Julian Rathke, Matthew Hennessy
1997 — —
Symbolic techniques for value-passing calculi.
Julian Rathke
1997 A* conf
Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).
LICS
Julian Rathke
1995 B conf
Bisimulations for a Calculus of Broadcasting Systems.
CONCUR
Matthew Hennessy, Julian Rathke