Home

View all

Julian Rathke: Publications

Currently viewing: Distributed Systems
Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control.
Presented at PASSWORD workshop, co-located with ECOOP 06, Nantes.
Nicholas Nguyen and Julian Rathke (2006).

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
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)
Risky Business: Motivations for markets in programmable networks.
In: International Workshop on Active Networks IWAN, Kyoto.
Ian Wakeman and David Ellis and Tim Owen and Julian Rathke and Des Watson (2003).

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
A Model for Controlling Program Behaviour in Pervasive Networks.
In: Proc. of the Fifth IEEE Workshop on Networked Appliances, Liverpool.
Tim Owen and Julian Rathke and Ian Wakeman and Des Watson (2002).

Show BibTeX entryDownload Article (pdf-file)
Implementing Policies in Programs using Labelled Transition Systems.
In: Cosener's House Multi-Service Networks Conference.
Tim Owen and Julian Rathke and Ian Wakeman and Des Watson (2002).

Show BibTeX entryDownload Article (pdf-file)
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