Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola Event structure semantics for multiparty sessions. (English) Zbl 1512.68163 J. Log. Algebr. Methods Program. 131, Article ID 100844, 36 p. (2023). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{I. Castellani} et al., J. Log. Algebr. Methods Program. 131, Article ID 100844, 36 p. (2023; Zbl 1512.68163) Full Text: DOI arXiv
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon A stable non-interleaving early operational semantics for the pi-calculus. (English) Zbl 1423.68308 J. Log. Algebr. Methods Program. 104, 227-253 (2019). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{T. T. Hildebrandt} et al., J. Log. Algebr. Methods Program. 104, 227--253 (2019; Zbl 1423.68308) Full Text: DOI
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard Reversibility in the higher-order \(\pi\)-calculus. (English) Zbl 1338.68078 Theor. Comput. Sci. 625, 25-84 (2016). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{I. Lanese} et al., Theor. Comput. Sci. 625, 25--84 (2016; Zbl 1338.68078) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo A coalgebraic semantics for causality in Petri nets. (English) Zbl 1330.68196 J. Log. Algebr. Methods Program. 84, No. 6, 853-883 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{R. Bruni} et al., J. Log. Algebr. Methods Program. 84, No. 6, 853--883 (2015; Zbl 1330.68196) Full Text: DOI arXiv
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo Revisiting causality, coalgebraically. (English) Zbl 1307.68053 Acta Inf. 52, No. 1, 5-33 (2015). MSC: 68Q85 68Q55 18F20 68Q65 PDFBibTeX XMLCite \textit{R. Bruni} et al., Acta Inf. 52, No. 1, 5--33 (2015; Zbl 1307.68053) Full Text: DOI Link
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo Families of symmetries as efficient models of resource binding. (English) Zbl 1247.68172 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 63-81 (2010). MSC: 68Q65 18C50 PDFBibTeX XMLCite \textit{V. Ciancia} et al., Electron. Notes Theor. Comput. Sci. 264, No. 2, 63--81 (2010; Zbl 1247.68172) Full Text: DOI
Varacca, Daniele; Yoshida, Nobuko Typed event structures and the linear \(\pi \)-calculus. (English) Zbl 1200.68165 Theor. Comput. Sci. 411, No. 19, 1949-1973 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Varacca} and \textit{N. Yoshida}, Theor. Comput. Sci. 411, No. 19, 1949--1973 (2010; Zbl 1200.68165) Full Text: DOI
Popescu, Andrei Weak bisimilarity coalgebraically. (English) Zbl 1239.68053 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 157-172 (2009). MSC: 68Q85 68Q55 68Q65 PDFBibTeX XMLCite \textit{A. Popescu}, Lect. Notes Comput. Sci. 5728, 157--172 (2009; Zbl 1239.68053) Full Text: DOI Link
Bonchi, Filippo; Montanari, Ugo Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. (English) Zbl 1186.68315 Theor. Comput. Sci. 410, No. 41, 4044-4066 (2009). MSC: 68Q85 68N17 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{U. Montanari}, Theor. Comput. Sci. 410, No. 41, 4044--4066 (2009; Zbl 1186.68315) Full Text: DOI
Fiore, Marcelo; Staton, Sam A congruence rule format for name-passing process calculi. (English) Zbl 1165.68050 Inf. Comput. 207, No. 2, 209-236 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{S. Staton}, Inf. Comput. 207, No. 2, 209--236 (2009; Zbl 1165.68050) Full Text: DOI
Miculan, Marino A categorical model of the fusion calculus. (English) Zbl 1286.68355 Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 275-293 (2008). MSC: 68Q85 18C20 PDFBibTeX XMLCite \textit{M. Miculan}, Electron. Notes Theor. Comput. Sci. 218, 275--293 (2008; Zbl 1286.68355) Full Text: DOI
Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej A compositional Petri net translation of general \(\pi\)-calculus terms. (English) Zbl 1152.68036 Formal Asp. Comput. 20, No. 4-5, 429-450 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Devillers} et al., Formal Asp. Comput. 20, No. 4--5, 429--450 (2008; Zbl 1152.68036) Full Text: DOI
Stark, Ian Free-algebra models for the \(\pi \)-calculus. (English) Zbl 1134.68043 Theor. Comput. Sci. 390, No. 2-3, 248-270 (2008). MSC: 68Q85 18C10 PDFBibTeX XMLCite \textit{I. Stark}, Theor. Comput. Sci. 390, No. 2--3, 248--270 (2008; Zbl 1134.68043) Full Text: DOI
Sobociński, Paweł A well-behaved LTS for the pi-calculus (abstract). (English) Zbl 1278.68223 van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 5-11 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Sobociński}, Electron. Notes Theor. Comput. Sci. 192, No. 1, 5--11 (2007; Zbl 1278.68223) Full Text: DOI
Fiore, Marcelo; Staton, Sam Comparing operational models of name-passing process calculi. (English) Zbl 1101.68697 Inf. Comput. 204, No. 4, 524-560 (2006). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{S. Staton}, Inf. Comput. 204, No. 4, 524--560 (2006; Zbl 1101.68697) Full Text: DOI
Cattani, Gian Luca; Sewell, Peter Models for name-passing processes: Interleaving and causal. (English) Zbl 1101.68693 Inf. Comput. 190, No. 2, 136-178 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. L. Cattani} and \textit{P. Sewell}, Inf. Comput. 190, No. 2, 136--178 (2004; Zbl 1101.68693) Full Text: DOI