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
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