Home

View all

Julian Rathke: Publications

Currently viewing: Pi-Calculus
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)