Home

View all

Julian Rathke: Publications

Currently viewing: Models
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
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)
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)
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
Towards a behavioural theory of access and mobility control in distributed systems.
Computer Science Report Nr. 01-2002. University of Sussex.
Matthew Hennessy and Massimo Merro and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper