Jeffrey, Alan; Rathke, Julian The lax braided structure of streaming I/O. (English) Zbl 1247.68088 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 292-306, electronic only (2011). MSC: 68Q05 18B20 18D10 68N18 68N30 68T15 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 292--306 (2011; Zbl 1247.68088) Full Text: DOI Link
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 S. A.; Rathke, Julian Contextual equivalence for higher-order pi-calculus revisited. (English) Zbl 1125.68084 Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. S. A. Jeffrey} and \textit{J. Rathke}, Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005; Zbl 1125.68084) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic pi-calculus. (English) Zbl 1119.68128 Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 266-281 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Lect. Notes Comput. Sci. 3441, 266--281 (2005; Zbl 1119.68128) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Java Jr.: Fully abstract trace semantics for a core Java language. (English) Zbl 1108.68349 Sagiv, Mooly (ed.), Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25435-8/pbk). Lecture Notes in Computer Science 3444, 423-438 (2005). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Lect. Notes Comput. Sci. 3444, 423--438 (2005; Zbl 1108.68349) 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
Jeffrey, Alan; Rathke, Julian Contextual equivalence for higher-order \(\pi\)-calculus revisited. (English) Zbl 1337.68185 Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 149-168, electronic only (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Electron. Notes Theor. Comput. Sci. 83, 149--168 (2003; Zbl 1337.68185) Full Text: DOI