Home

View all

Julian Rathke: Publications

Currently viewing: Technical Reports
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.
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 theory of bisimulation for a fragment of concurrent ML with local names.
Computer Science Report Nr. 02-2002. University of Sussex.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper
A fully abstract may testing semantics for concurrent objects.
Computer Science Report Nr. 03-2002. University of Sussex.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper
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
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
Towards a theory of bisimulation for local names.
Computer Science Report Nr. 02-2000. University of Sussex.
Alan Jeffrey and Julian Rathke (2000).

Show BibTeX entryVisit 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
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