Pous, Damien; Rot, Jurriaan Companions, codensity and causality. (English) Zbl 1442.68149 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Lect. Notes Comput. Sci. 10203, 106--123 (2017; Zbl 1442.68149) Full Text: DOI
Tzevelekos, Nikos Program equivalence in a simple language with state. (English) Zbl 1248.68155 Comput. Lang. Syst. Struct. 38, No. 2, 181-198 (2012). MSC: 68N30 68Q85 68Q55 03B70 PDF BibTeX XML Cite \textit{N. Tzevelekos}, Comput. Lang. Syst. Struct. 38, No. 2, 181--198 (2012; Zbl 1248.68155) Full Text: DOI
Koutavas, Vasileios; Levy, Paul Blain; Sumii, Eijiro From applicative to environmental bisimulation. (English) Zbl 1342.68089 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 215-235 (2011). MSC: 68N30 68N18 68Q55 PDF BibTeX XML Cite \textit{V. Koutavas} et al., Electron. Notes Theor. Comput. Sci. 276, 215--235 (2011; Zbl 1342.68089) Full Text: DOI
Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard Characterizing contextual equivalence in calculi with passivation. (English) Zbl 1251.68160 Inf. Comput. 209, No. 11, 1390-1433 (2011). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{S. Lenglet} et al., Inf. Comput. 209, No. 11, 1390--1433 (2011; Zbl 1251.68160) Full Text: DOI
Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard Howe’s method for calculi with passivation. (English) Zbl 1254.68174 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 448-462 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Lenglet} et al., Lect. Notes Comput. Sci. 5710, 448--462 (2009; Zbl 1254.68174) Full Text: DOI
Pous, Damien Using bisimulation proof techniques for the analysis of distributed abstract machines. (English) Zbl 1146.68053 Theor. Comput. Sci. 402, No. 2-3, 199-220 (2008). MSC: 68Q85 68M14 PDF BibTeX XML Cite \textit{D. Pous}, Theor. Comput. Sci. 402, No. 2--3, 199--220 (2008; Zbl 1146.68053) Full Text: DOI
Laird, J. A game semantics of names and pointers. (English) Zbl 1133.68014 Ann. Pure Appl. Logic 151, No. 2-3, 151-169 (2008). MSC: 68N18 68Q55 91A80 PDF BibTeX XML Cite \textit{J. Laird}, Ann. Pure Appl. Logic 151, No. 2--3, 151--169 (2008; Zbl 1133.68014) Full Text: DOI
Niehren, Joachim; Sabel, David; Schmidt-Schauß, Manfred; Schwinghammer, Jan Observational semantics for a concurrent lambda calculus with reference cells and futures. (English) Zbl 1316.68034 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 313-337 (2007). MSC: 68N15 68N18 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{J. Niehren} et al., Electron. Notes Theor. Comput. Sci. 173, 313--337 (2007; Zbl 1316.68034) Full Text: DOI
Sumii, Eijiro; Pierce, Benjamin C. A bisimulation for dynamic sealing. (English) Zbl 1111.68034 Theor. Comput. Sci. 375, No. 1-3, 169-192 (2007). MSC: 68P25 68N18 PDF BibTeX XML Cite \textit{E. Sumii} and \textit{B. C. Pierce}, Theor. Comput. Sci. 375, No. 1--3, 169--192 (2007; Zbl 1111.68034) Full Text: DOI
Hym, Samuel; Hennessy, Matthew Adding recursion to Dpi. (English) Zbl 1111.68083 Theor. Comput. Sci. 373, No. 3, 182-212 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Hym} and \textit{M. Hennessy}, Theor. Comput. Sci. 373, No. 3, 182--212 (2007; Zbl 1111.68083) 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; Rathke, Julian Typed behavioural equivalences for processes in the presence of subtyping. (English) Zbl 1268.68127 Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Electron. Notes Theor. Comput. Sci. 61, 122--139 (2002; Zbl 1268.68127) Full Text: DOI
Yoshida, Nobuko; Hennessy, Matthew Assigning types to processes. (English) Zbl 1009.68085 Inf. Comput. 174, No. 2, 143-179 (2002). MSC: 68Q85 68M14 PDF BibTeX XML Cite \textit{N. Yoshida} and \textit{M. Hennessy}, Inf. Comput. 174, No. 2, 143--179 (2002; Zbl 1009.68085) Full Text: DOI