Home

View all

Julian Rathke: Publications

Currently viewing: Journal Publications
A fully abstract may testing semantics for concurrent objects.
In: Theoretical Computer Science, 338:17--63.
Alan Jeffrey and Julian Rathke (2005).

Show BibTeX entryVisit the webpage of the paper
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
A theory of bisimulation for a fragment of concurrent ML with local names.
In: Theoretical Computer Science, 323:1--48.
Alan Jeffrey and Julian Rathke (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)
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