Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic \(\pi \)-calculus. (English) Zbl 1134.68040 Theor. Comput. Sci. 390, No. 2-3, 171-196 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 390, No. 2--3, 171--196 (2008; Zbl 1134.68040) Full Text: DOI
Jeffrey, Alan; Rathke, Julian A fully abstract may testing semantics for concurrent objects. (English) Zbl 1078.68107 Theor. Comput. Sci. 338, No. 1-3, 17-63 (2005). Reviewer: Krassimir Atanassov (Sofia) MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 338, No. 1--3, 17--63 (2005; Zbl 1078.68107) Full Text: DOI
Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1071.68009 Theor. Comput. Sci. 322, No. 3, 615-669 (2004). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI
Jeffrey, Alan; Rathke, Julian A theory of bisimulation for a fragment of concurrent ML with local names. (English) Zbl 1105.68354 Theor. Comput. Sci. 323, No. 1-3, 1-48 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 323, No. 1--3, 1--48 (2004; Zbl 1105.68354) Full Text: DOI
Hennessy, M.; Rathke, J. Bisimulations for a calculus of broadcasting systems. (English) Zbl 0915.68065 Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998). MSC: 68Q10 68T15 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Theor. Comput. Sci. 200, No. 1--2, 225--260 (1998; Zbl 0915.68065) Full Text: DOI