Home

View all

Julian Rathke: Publications

Currently viewing: Process Models
Making the unobservable, unobservable.
In: Proc. 1st Interaction and Concurrency Experience (ICE) . Published by Elsevier. To appear.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entry
Deriving structural labelled transitions for mobile ambients.
In: Proc. 19th International Conference on Concurrency Theory (Concur) . Volume 5201 of Lecture Notes in Computer Science. pp. 462--476. Published by Springer.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entryDownload Article (pdf-file)
Deconstructing behavioural theories of mobility.
In: Proc. Fifth IFIP International Conference On Theoretical Computer Science (TCS) . Volume 273 of IFIP. pp. 507--520. Published by Springer.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entryDownload Article (pdf-file)
Semantic Barbs and Biorthogonality.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. Volume 4423 of Lecture Notes in Computer Science. pp. 302--316. Published by Springer-Verlag.
Julian Rathke and Vladimiro Sassone and Pawel Sobocinski (2007).

Show BibTeX entryDownload Article (pdf-file)
Proof methodologies for behavioural equivalence in distributed pi-calculus.
In: Proc. Formal Techniques for Networked and Distributed Systems - FORTE 2005. Volume 3731 of Lecture Notes in Computer Science. Published by Springer-Verlag.
Alberto Ciaffaglione and Matthew Hennessy and Julian Rathke (2005).

Show BibTeX entryDownload Article (pdf-file)
Proof methodologies for behavioural equivalence in distributed pi-calculus.
Computer Science Report Nr. 03-2005. University of Sussex.
Alberto Ciaffaglione and Matthew Hennessy and Julian Rathke (2005).

Show BibTeX entryVisit the webpage of the paper
Full abstraction for Polymorphic Pi-Calculus.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. Volume 3441 of Lecture Notes in Computer Science. pp. 266--281. Published by Springer-Verlag.
Alan Jeffrey and Julian Rathke (2005).

Show BibTeX entryDownload Article (pdf-file)
Contextual equivalence for higher-order pi-calculus revisited.
In: Logical Methods in Computer Science, 1(1:4).
Alan Jeffrey and Julian Rathke (2005).

Show BibTeX entryVisit the webpage of the paper
SafeDpi: a language for controlling mobile code.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. Lecture Notes in Computer Science. pp. 241--256. Published by Springer-Verlag.
Matthew Hennessy and Julian Rathke and Nobuko Yoshida (2004).

Show BibTeX entryDownload Article (pdf-file)
Towards a behavioural theory of access and mobility control in distributed systems.
In: Theoretical Computer Science, 322:615--669.
Matthew Hennessy and Massimo Merro and Julian Rathke (2004).

Show BibTeX entryDownload Article (pdf-file)
Typed Behavioural Equivalences for Processes in the Presence of Subtyping.
In: Mathematical Structures in Computer Science, 14:651--684.
Matthew Hennessy and Julian Rathke (2004).

Show BibTeX entryDownload Article (pdf-file)
Towards a behavioural theory of access and mobility control in distributed systems.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. Volume 2620 of Lecture Notes in Computer Science. pp. 282--298. Published by Springer-Verlag.
Matthew Hennessy and Massimo Merro and Julian Rathke (2003).

Show BibTeX entryDownload Article (pdf-file)
Contextual equivalence for higher-order pi-calculus revisited.
In: Proc. Mathematical Foundations of Programming Semantics MFPS. Lecture Notes in Computer Science. Published by Springer-Verlag.
Alan Jeffrey and Julian Rathke (2003).

Show BibTeX entryDownload Article (pdf-file)
SafeDpi: a language for controlling mobile code.
Computer Science Report Nr. 02-2003. University of Sussex.
Matthew Hennessy and Julian Rathke and Nobuko Yoshida (2003).

Show BibTeX entryVisit the webpage of the paper
Typed Behavioural Equivalences for Processes in the Presence of Subtyping.
In: Proc. Computing: Australasian Theory Symposium CATS.
Matthew Hennessy and Julian Rathke (2002).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Contextual equivalence for higher-order pi-calculus revisited.
Computer Science Report Nr. 04-2002. University of Sussex.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper
Unique fixpoint induction for message-passing process calculi.
In: Science of Computer Programming, 41:241--275.
Matthew Hennessy and Huimin Lin and Julian Rathke (2001).

Show BibTeX entryDownload Article
Bisimulations for a calculus of broadcasting systems.
In: Theoretical Computer Science, 200:225--260.
Matthew Hennessy and Julian Rathke (1998).

Show BibTeX entryDownload Article
Resource based models for asynchrony.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. pp. 273--287. Published by Springer-Verlag.
Julian Rathke (1998).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Unique fixpoint induction for value-passing processes.
In: Proc. 12th Annual Symposium on Logic in Computer Science LiCS. pp. 140--148. Published by IEEE Computer Society Press.
Julian Rathke (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Local model checking for value-passing processes.
In: Proc. International Symposium on Theoretical Aspects of Computer Software, TACS. Published by Springer-Verlag.
Julian Rathke and Matthew Hennessy (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Symbolic techniques for value-passing calculi.
PhD thesis, University of Sussex.
Julian Rathke (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)Visit the webpage of the paper
Local Model Checking for a Value-Based Modal mu-Calculus.
Computer Science Report Nr. 5-96. University of Sussex.
Julian Rathke and Matthew Hennessy (1996).

Show BibTeX entryVisit the webpage of the paper
Bisimulations for a Calculus of Broadcasting Systems.
In: Proc. Conference on Concurrency Theory CONCUR. Volume 962 of Lecture Notes in Computer Science. pp. 486--500. Published by Springer-Verlag.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Strong Bisimulations for a Calculus of Broadcasting Systems.
Computer Science Report Nr. 1-95. University of Sussex.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryVisit the webpage of the paper
Weak Bisimulations for a Calculus of Broadcasting Systems.
Computer Science Report Nr. 3-95. University of Sussex.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryVisit the webpage of the paper