Edixhoven, Luc; Jongmans, Sung-Shik; Proença, José; Castellani, Ilaria Branching pomsets: design, expressiveness and applications to choreographies. (English) Zbl 07803172 J. Log. Algebr. Methods Program. 136, Article ID 100919, 36 p. (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{L. Edixhoven} et al., J. Log. Algebr. Methods Program. 136, Article ID 100919, 36 p. (2024; Zbl 07803172) Full Text: DOI
Basile, Davide; ter Beek, Maurice H. Research challenges in orchestration synthesis. (English) Zbl 07820786 Aubert, Clément (ed.) et al., Proceedings of the 16th interaction and concurrency experience workshop, ICE 2023, Lisbon, Portugal, June 19, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 73-90 (2023). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Basile} and \textit{M. H. ter Beek}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 73--90 (2023; Zbl 07820786) Full Text: DOI arXiv
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola Partially typed multiparty sessions. (English) Zbl 07820783 Aubert, Clément (ed.) et al., Proceedings of the 16th interaction and concurrency experience workshop, ICE 2023, Lisbon, Portugal, June 19, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 15-34 (2023). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Barbanera} and \textit{M. Dezani-Ciancaglini}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 383, 15--34 (2023; Zbl 07820783) Full Text: DOI arXiv
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph FTMPST: fault-tolerant multiparty session types. (English) Zbl 07788986 Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Peters} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023; Zbl 07788986) Full Text: DOI arXiv
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio Composition of synchronous communicating systems. (English) Zbl 07741956 J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023; Zbl 07741956) Full Text: DOI
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio A theory of formal choreographic languages. (English) Zbl 07731937 Log. Methods Comput. Sci. 19, No. 3, Paper No. 9, 36 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Barbanera} et al., Log. Methods Comput. Sci. 19, No. 3, Paper No. 9, 36 p. (2023; Zbl 07731937) Full Text: DOI arXiv
Balco, Samuel; Kurz, Alexander Completeness of nominal PROPs. (English) Zbl 07667098 Log. Methods Comput. Sci. 19, No. 1, Paper No. 8, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Balco} and \textit{A. Kurz}, Log. Methods Comput. Sci. 19, No. 1, Paper No. 8, 38 p. (2023; Zbl 07667098) Full Text: DOI arXiv
Savanović, Zorica; Galletta, Letterio A type language for distributed reactive components governed by communication protocols. (English) Zbl 07665439 J. Log. Algebr. Methods Program. 132, Article ID 100848, 37 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{Z. Savanović} and \textit{L. Galletta}, J. Log. Algebr. Methods Program. 132, Article ID 100848, 37 p. (2023; Zbl 07665439) Full Text: DOI
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
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio On composing communicating systems. (English) Zbl 07811913 Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 53-68 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Barbanera} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 53--68 (2022; Zbl 07811913) Full Text: DOI arXiv
Edixhoven, Luc; Jongmans, Sung-Shik; Proença, José; Cledou, Guillermina Branching pomsets for choreographies. (English) Zbl 07811912 Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 37-52 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Edixhoven} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 37--52 (2022; Zbl 07811912) Full Text: DOI arXiv
Jongmans, Sung-Shik; van den Bos, Petra A predicate transformer for choreographies. Computing preconditions in choreographic programming. (English) Zbl 1528.68080 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 520-547 (2022). MSC: 68N30 68N19 68Q85 PDFBibTeX XMLCite \textit{S.-S. Jongmans} and \textit{P. van den Bos}, Lect. Notes Comput. Sci. 13240, 520--547 (2022; Zbl 1528.68080) Full Text: DOI
Kjær, Bjørn Angel; Cruz-Filipe, Luís; Montesi, Fabrizio From infinity to choreographies. Extraction for unbounded systems. (English) Zbl 1522.68068 Villanueva, Alicia (ed.), Logic-based program synthesis and transformation. 32nd international symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13474, 103-120 (2022). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{B. A. Kjær} et al., Lect. Notes Comput. Sci. 13474, 103--120 (2022; Zbl 1522.68068) Full Text: DOI arXiv
Heckel, Reiko; Corradini, Andrea; Gadducci, Fabio Graph rewriting components. (English) Zbl 1514.68091 Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 20-37 (2022). MSC: 68Q42 18M30 PDFBibTeX XMLCite \textit{R. Heckel} et al., Lect. Notes Comput. Sci. 13349, 20--37 (2022; Zbl 1514.68091) Full Text: DOI
Venhoek, David; Moerman, Joshua; Rot, Jurriaan Fast computations on ordered nominal sets. (English) Zbl 1518.68194 Theor. Comput. Sci. 935, 82-104 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Venhoek} et al., Theor. Comput. Sci. 935, 82--104 (2022; Zbl 1518.68194) Full Text: DOI
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph Fault-tolerant multiparty session types. (English) Zbl 1499.68233 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022). MSC: 68Q85 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 13273, 93--113 (2022; Zbl 1499.68233) Full Text: DOI arXiv
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian Monitoring hyperproperties with circuits. (English) Zbl 1499.68199 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 1-10 (2022). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 13273, 1--10 (2022; Zbl 1499.68199) Full Text: DOI arXiv
Kastberg Hinrichsen, Jonas; Bengtson, Jesper; Krebbers, Robbert Actris 2.0: asynchronous session-type based reasoning in separation logic. (English) Zbl 07566072 Log. Methods Comput. Sci. 18, No. 2, Paper No. 16, 64 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Kastberg Hinrichsen} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 16, 64 p. (2022; Zbl 07566072) Full Text: arXiv Link
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio Towards refinable choreographies. (English) Zbl 07531443 J. Log. Algebr. Methods Program. 127, Article ID 100776, 25 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{U. de'Liguoro} et al., J. Log. Algebr. Methods Program. 127, Article ID 100776, 25 p. (2022; Zbl 07531443) Full Text: DOI
Cano, Mauricio; López, Hugo A.; Pérez, Jorge A.; Rueda, Camilo Session-based concurrency, declaratively. (English) Zbl 1522.68358 Acta Inf. 59, No. 1, 37-123 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Cano} et al., Acta Inf. 59, No. 1, 37--123 (2022; Zbl 1522.68358) Full Text: DOI
Moerman, Joshua; Sammartino, Matteo Residuality and learning for nondeterministic nominal automata. (English) Zbl 07471718 Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022; Zbl 07471718) Full Text: arXiv Link
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1487.68165 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 PDFBibTeX XMLCite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 1487.68165) Full Text: DOI
Yoshida, Nobuko; Zhou, Fangyi; Ferreira, Francisco Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021). MSC: 68Q85 68N19 68Q45 PDFBibTeX XMLCite \textit{N. Yoshida} et al., Lect. Notes Comput. Sci. 12867, 18--35 (2021; Zbl 1487.68168) Full Text: DOI
Pittou, Maria; Rahonis, George Architectures in parametric component-based systems: qualitative and quantitative modelling. (English) Zbl 07471686 Log. Methods Comput. Sci. 17, No. 4, Paper No. 26, 53 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Pittou} and \textit{G. Rahonis}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 26, 53 p. (2021; Zbl 07471686) Full Text: arXiv Link
Antares Mezzina, Claudio; Pérez, Jorge A. Causal consistency for reversible multiparty protocols. (English) Zbl 07471661 Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Antares Mezzina} and \textit{J. A. Pérez}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021; Zbl 07471661) Full Text: arXiv Link
Andersen, Kristoffer Just Arndal; Sergey, Ilya Protocol combinators for modeling, testing, and execution of distributed systems. (English) Zbl 1522.68141 J. Funct. Program. 31, Paper No. e3, 29 p. (2021). MSC: 68N30 68M14 68W20 PDFBibTeX XMLCite \textit{K. J. A. Andersen} and \textit{I. Sergey}, J. Funct. Program. 31, Paper No. e3, 29 p. (2021; Zbl 1522.68141) Full Text: DOI
Coto, Alex; Guanciale, Roberto; Tuosto, Emilio An abstract framework for choreographic testing. (English) Zbl 1528.68249 J. Log. Algebr. Methods Program. 123, Article ID 100712, 32 p. (2021). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Coto} et al., J. Log. Algebr. Methods Program. 123, Article ID 100712, 32 p. (2021; Zbl 1528.68249) Full Text: DOI arXiv
Murgia, Maurizio A fixed-points based framework for compliance of behavioural contracts. (English) Zbl 1518.68236 J. Log. Algebr. Methods Program. 120, Article ID 100641, 19 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Murgia}, J. Log. Algebr. Methods Program. 120, Article ID 100641, 19 p. (2021; Zbl 1518.68236) Full Text: DOI
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping and its implementation. (English) Zbl 1509.68184 Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021; Zbl 1509.68184) Full Text: arXiv Link
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio Composition and decomposition of multiparty sessions. (English) Zbl 1462.68120 J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021; Zbl 1462.68120) Full Text: DOI HAL
Jongmans, Sung-Shik; Yoshida, Nobuko Exploring type-level bisimilarity towards more expressive multiparty session types. (English) Zbl 1508.68244 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 251-279 (2020). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{S.-S. Jongmans} and \textit{N. Yoshida}, Lect. Notes Comput. Sci. 12075, 251--279 (2020; Zbl 1508.68244) Full Text: DOI
Moerman, Joshua; Sammartino, Matteo Residual nominal automata. (English) Zbl 07559500 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 44, 21 p. (2020; Zbl 07559500) Full Text: DOI
Das, Ankush; Pfenning, Frank Session types with arithmetic refinements. (English) Zbl 07559469 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 13, 18 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Das} and \textit{F. Pfenning}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 13, 18 p. (2020; Zbl 07559469) Full Text: DOI arXiv
Horne, Ross Session subtyping and multiparty compatibility using circular sequents. (English) Zbl 07559468 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Horne}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 12, 22 p. (2020; Zbl 07559468) Full Text: DOI
de’Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio Towards refinable choreographies. (English) Zbl 1477.68178 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 61-77 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{U. de'Liguoro} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 61--77 (2020; Zbl 1477.68178) Full Text: arXiv Link
Coto, Alex; Guanciale, Roberto; Tuosto, Emilio An abstract framework for choreographic testing. (English) Zbl 1477.68176 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 43-60 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Coto} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 43--60 (2020; Zbl 1477.68176) Full Text: Link
Savanović, Zorica; Galletta, Letterio; Vieira, Hugo Torres A type language for message passing component-based systems. (English) Zbl 1477.68183 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3-24 (2020). MSC: 68Q85 68N18 PDFBibTeX XMLCite \textit{Z. Savanović} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 3--24 (2020; Zbl 1477.68183) Full Text: arXiv Link
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio On resolving non-determinism in choreographies. (English) Zbl 07269246 Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Bocchi} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020; Zbl 07269246) Full Text: arXiv Link
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine From global choreographies to verifiable efficient distributed implementations. (English) Zbl 1452.68125 J. Log. Algebr. Methods Program. 115, Article ID 100577, 23 p. (2020). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Jaber} et al., J. Log. Algebr. Methods Program. 115, Article ID 100577, 23 p. (2020; Zbl 1452.68125) Full Text: DOI arXiv HAL
Kapus-Kolar, Monika Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. (English) Zbl 1451.68191 J. Log. Algebr. Methods Program. 114, Article ID 100560, 21 p. (2020). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Kapus-Kolar}, J. Log. Algebr. Methods Program. 114, Article ID 100560, 21 p. (2020; Zbl 1451.68191) Full Text: DOI
Basile, Davide; ter Beek, Maurice H.; Pugliese, Rosario Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services. (English) Zbl 1528.68173 Log. Methods Comput. Sci. 16, No. 2, Paper No. 9, 29 p. (2020). MSC: 68Q45 68Q60 68Q85 93C65 PDFBibTeX XMLCite \textit{D. Basile} et al., Log. Methods Comput. Sci. 16, No. 2, Paper No. 9, 29 p. (2020; Zbl 1528.68173) Full Text: arXiv Link
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Horne, Ross Global types with internal delegation. (English) Zbl 1436.68208 Theor. Comput. Sci. 807, 128-153 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Castellani} et al., Theor. Comput. Sci. 807, 128--153 (2020; Zbl 1436.68208) Full Text: DOI HAL
Brunet, Paul; Silva, Alexandra A Kleene theorem for nominal automata. (English) Zbl 07561600 Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 107, 13 p. (2019). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Brunet} and \textit{A. Silva}, LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 107, 13 p. (2019; Zbl 07561600) Full Text: DOI
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf Connecting open systems of communicating finite state machines. (English) Zbl 1435.68211 J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019; Zbl 1435.68211) Full Text: DOI
Guanciale, Roberto; Tuosto, Emilio Realisability of pomsets. (English) Zbl 1435.68213 J. Log. Algebr. Methods Program. 108, 69-89 (2019). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{R. Guanciale} and \textit{E. Tuosto}, J. Log. Algebr. Methods Program. 108, 69--89 (2019; Zbl 1435.68213) Full Text: DOI Link
Murgia, Maurizio Input urgent semantics for asynchronous timed session types. (English) Zbl 1431.68078 J. Log. Algebr. Methods Program. 107, 38-53 (2019). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Murgia}, J. Log. Algebr. Methods Program. 107, 38--53 (2019; Zbl 1431.68078) Full Text: DOI
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano Depletable channels: dynamics, behaviour, and efficiency in network design. (English) Zbl 1423.68043 Acta Inf. 56, No. 5, 405-431 (2019). MSC: 68M10 05C21 68M12 68R10 PDFBibTeX XMLCite \textit{P. Cenciarelli} et al., Acta Inf. 56, No. 5, 405--431 (2019; Zbl 1423.68043) Full Text: DOI
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob A higher-order calculus of computational fields. (English) Zbl 1407.68326 ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Audrito} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 5, 55 p. (2019; Zbl 1407.68326) Full Text: DOI arXiv
Kamburjan, Eduard; Chen, Tzu-Chun Stateful behavioral types for active objects. (English) Zbl 1514.68037 Furia, Carlo A. (ed.) et al., Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11023, 214-235 (2018). MSC: 68N30 PDFBibTeX XMLCite \textit{E. Kamburjan} and \textit{T.-C. Chen}, Lect. Notes Comput. Sci. 11023, 214--235 (2018; Zbl 1514.68037) Full Text: DOI arXiv
König, Barbara; Küpper, Sebastian A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. (English) Zbl 1398.68353 Soft Comput. 22, No. 4, 1103-1120 (2018). MSC: 68Q70 PDFBibTeX XMLCite \textit{B. König} and \textit{S. Küpper}, Soft Comput. 22, No. 4, 1103--1120 (2018; Zbl 1398.68353) Full Text: DOI
Scalas, Alceste; Yoshida, Nobuko Multiparty session types, beyond duality. (English) Zbl 1395.68199 J. Log. Algebr. Methods Program. 97, 55-84 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Scalas} and \textit{N. Yoshida}, J. Log. Algebr. Methods Program. 97, 55--84 (2018; Zbl 1395.68199) Full Text: DOI
Hasuo, Ichiro; Kataoka, Toshiki; Cho, Kenta Coinductive predicates and final sequences in a fibration. (English) Zbl 1386.68103 Math. Struct. Comput. Sci. 28, No. 4, 562-611 (2018). MSC: 68Q65 03G30 18B20 68Q85 PDFBibTeX XMLCite \textit{I. Hasuo} et al., Math. Struct. Comput. Sci. 28, No. 4, 562--611 (2018; Zbl 1386.68103) Full Text: DOI
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten Choreographies, logically. (English) Zbl 1423.68304 Distrib. Comput. 31, No. 1, 51-67 (2018). MSC: 68Q85 03F52 68N19 PDFBibTeX XMLCite \textit{M. Carbone} et al., Distrib. Comput. 31, No. 1, 51--67 (2018; Zbl 1423.68304) Full Text: DOI Link
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko Timed runtime monitoring for multiparty conversations. (English) Zbl 1375.68030 Formal Asp. Comput. 29, No. 5, 877-910 (2017). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{R. Neykova} et al., Formal Asp. Comput. 29, No. 5, 877--910 (2017; Zbl 1375.68030) Full Text: DOI arXiv Link
Toninho, Bernardo; Yoshida, Nobuko Certifying data in multiparty session types. (English) Zbl 1371.68201 J. Log. Algebr. Methods Program. 90, 61-83 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{B. Toninho} and \textit{N. Yoshida}, J. Log. Algebr. Methods Program. 90, 61--83 (2017; Zbl 1371.68201) Full Text: DOI
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko Multiparty session types as coherence proofs. (English) Zbl 1371.68049 Acta Inf. 54, No. 3, 243-269 (2017). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{M. Carbone} et al., Acta Inf. 54, No. 3, 243--269 (2017; Zbl 1371.68049) Full Text: DOI
Degano, Pierpaolo; Ferrari, Gian-Luigi; Mezzetti, Gianluca Regular and context-free nominal traces. (English) Zbl 1376.68087 Acta Inf. 54, No. 4, 399-433 (2017). Reviewer: Francesco Dolce (Montréal) MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Degano} et al., Acta Inf. 54, No. 4, 399--433 (2017; Zbl 1376.68087) Full Text: DOI
Severi, Paula A light modality for recursion. (English) Zbl 1486.68033 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, 499-516 (2017). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{P. Severi}, Lect. Notes Comput. Sci. 10203, 499--516 (2017; Zbl 1486.68033) Full Text: DOI arXiv
Lange, Julien; Yoshida, Nobuko On the undecidability of asynchronous session subtyping. (English) Zbl 1486.68114 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, 441-457 (2017). MSC: 68Q85 03D05 03D35 PDFBibTeX XMLCite \textit{J. Lange} and \textit{N. Yoshida}, Lect. Notes Comput. Sci. 10203, 441--457 (2017; Zbl 1486.68114) Full Text: DOI Link
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio The paths to choreography extraction. (English) Zbl 1486.68111 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, 424-440 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Lect. Notes Comput. Sci. 10203, 424--440 (2017; Zbl 1486.68111) Full Text: DOI arXiv
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten Nominal automata with name binding. (English) Zbl 1486.68097 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, 124-142 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Schröder} et al., Lect. Notes Comput. Sci. 10203, 124--142 (2017; Zbl 1486.68097) Full Text: DOI arXiv
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. (English) Zbl 1362.68213 J. Log. Algebr. Methods Program. 88, 99-120 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Giachino} et al., J. Log. Algebr. Methods Program. 88, 99--120 (2017; Zbl 1362.68213) Full Text: DOI Link
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko Monitoring networks through multiparty session types. (English) Zbl 1359.68215 Theor. Comput. Sci. 669, 33-58 (2017). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Theor. Comput. Sci. 669, 33--58 (2017; Zbl 1359.68215) Full Text: DOI
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto Verifiable abstractions for contract-oriented systems. (English) Zbl 1353.68194 J. Log. Algebr. Methods Program. 86, No. 1, 159-207 (2017). MSC: 68Q85 68Q42 68Q60 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., J. Log. Algebr. Methods Program. 86, No. 1, 159--207 (2017; Zbl 1353.68194) Full Text: DOI
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo Orchestrated session compliance. (English) Zbl 1353.68023 J. Log. Algebr. Methods Program. 86, No. 1, 30-76 (2017). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 86, No. 1, 30--76 (2017; Zbl 1353.68023) Full Text: DOI arXiv
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph Configuration logics: modeling architecture styles. (English) Zbl 1353.68055 J. Log. Algebr. Methods Program. 86, No. 1, 2-29 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{A. Mavridou} et al., J. Log. Algebr. Methods Program. 86, No. 1, 2--29 (2017; Zbl 1353.68055) Full Text: DOI
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto Honesty by typing. (English) Zbl 1448.68327 Log. Methods Comput. Sci. 12, No. 4, Paper No. 7, 58 p. (2016). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Log. Methods Comput. Sci. 12, No. 4, Paper No. 7, 58 p. (2016; Zbl 1448.68327) Full Text: DOI arXiv
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide Name-passing calculi: from fusions to preorders and types. (English) Zbl 1353.68206 Inf. Comput. 251, 335-360 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} et al., Inf. Comput. 251, 335--360 (2016; Zbl 1353.68206) Full Text: DOI
López, Hugo A.; Nielson, Flemming; Nielson, Hanne Riis Enforcing availability in failure-aware communicating systems. (English) Zbl 1347.68060 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 195-211 (2016). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{H. A. López} et al., Lect. Notes Comput. Sci. 9688, 195--211 (2016; Zbl 1347.68060) Full Text: DOI Link
Caires, Luís; Pérez, Jorge A. Multiparty session types within a canonical binary theory, and beyond. (English) Zbl 1347.68026 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 74-95 (2016). MSC: 68M14 68M12 PDFBibTeX XMLCite \textit{L. Caires} and \textit{J. A. Pérez}, Lect. Notes Comput. Sci. 9688, 74--95 (2016; Zbl 1347.68026) Full Text: DOI HAL
Toninho, Bernardo; Yoshida, Nobuko Certifying data in multiparty session types. (English) Zbl 1343.68063 Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 433-458 (2016). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{B. Toninho} and \textit{N. Yoshida}, Lect. Notes Comput. Sci. 9600, 433--458 (2016; Zbl 1343.68063) Full Text: DOI Link
Arrighi, Pablo; Martiel, Simon; Perdrix, Simon Reversible causal graph dynamics. (English) Zbl 1476.68160 Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 73-88 (2016). MSC: 68Q80 37B15 68Q10 PDFBibTeX XMLCite \textit{P. Arrighi} et al., Lect. Notes Comput. Sci. 9720, 73--88 (2016; Zbl 1476.68160) Full Text: DOI arXiv
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca Global progress for dynamically interleaved multiparty sessions. (English) Zbl 1361.68165 Math. Struct. Comput. Sci. 26, No. 2, 238-302 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Coppo} et al., Math. Struct. Comput. Sci. 26, No. 2, 238--302 (2016; Zbl 1361.68165) Full Text: DOI
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. Relating two automata-based models of orchestration and choreography. (English) Zbl 1352.68125 J. Log. Algebr. Methods Program. 85, No. 3, 425-446 (2016). MSC: 68Q45 68M14 68Q85 PDFBibTeX XMLCite \textit{D. Basile} et al., J. Log. Algebr. Methods Program. 85, No. 3, 425--446 (2016; Zbl 1352.68125) Full Text: DOI
Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto Contracts as games on event structures. (English) Zbl 1352.68174 J. Log. Algebr. Methods Program. 85, No. 3, 399-424 (2016). MSC: 68Q85 68N19 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., J. Log. Algebr. Methods Program. 85, No. 3, 399--424 (2016; Zbl 1352.68174) Full Text: DOI
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. On the verification of architectural reconfigurations. (English) Zbl 1387.68071 Comput. Lang. Syst. Struct. 44, Part C, 218-237 (2015). MSC: 68N30 03B45 PDFBibTeX XMLCite \textit{A. Sanchez} et al., Comput. Lang. Syst. Struct. 44, Part C, 218--237 (2015; Zbl 1387.68071) Full Text: DOI Link
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko A gentle introduction to multiparty asynchronous session types. (English) Zbl 1346.68034 Bernardo, Marco (ed.) et al., Formal methods for multicore programming. 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015, Bertinoro, Italy, June 15–19, 2015. Advanced lectures. Cham: Springer (ISBN 978-3-319-18940-6/pbk; 978-3-319-18941-3/ebook). Lecture Notes in Computer Science 9104, 146-178 (2015). MSC: 68M12 68M14 68N30 PDFBibTeX XMLCite \textit{M. Coppo} et al., Lect. Notes Comput. Sci. 9104, 146--178 (2015; Zbl 1346.68034) Full Text: DOI Link
Montanari, Ugo; Sammartino, Matteo Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Sammartino}, Electron. Notes Theor. Comput. Sci. 312, 3--17 (2015; Zbl 1342.68236) Full Text: DOI
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. (English) Zbl 1361.68161 Math. Struct. Comput. Sci. 25, No. 3, 666-709 (2015). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. Boreale} et al., Math. Struct. Comput. Sci. 25, No. 3, 666--709 (2015; Zbl 1361.68161) Full Text: DOI
De Nicola, Rocco; Mezzina, Claudio Antares; Vieira, Hugo Torres Global protocol implementations via attribute-based communication. (English) Zbl 1434.68103 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 219-237 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{R. De Nicola} et al., Lect. Notes Comput. Sci. 9465, 219--237 (2015; Zbl 1434.68103) Full Text: DOI
Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto Compliance in behavioural contracts: a brief survey. (English) Zbl 1434.68045 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 103-121 (2015). MSC: 68M14 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Lect. Notes Comput. Sci. 9465, 103--121 (2015; Zbl 1434.68045) 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
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres Combining behavioural types with security analysis. (English) Zbl 1330.68045 J. Log. Algebr. Methods Program. 84, No. 6, 763-780 (2015). MSC: 68N19 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., J. Log. Algebr. Methods Program. 84, No. 6, 763--780 (2015; Zbl 1330.68045) Full Text: DOI arXiv
Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason Strategy based semantics for mobility with time and access permissions. (English) Zbl 1343.68163 Formal Asp. Comput. 27, No. 3, 525-549 (2015). MSC: 68Q85 68N30 68Q42 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., Formal Asp. Comput. 27, No. 3, 525--549 (2015; Zbl 1343.68163) Full Text: DOI Link
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra Nominal Kleene coalgebra. (English) Zbl 1440.68174 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 286-298 (2015). MSC: 68Q70 03B70 68Q65 PDFBibTeX XMLCite \textit{D. Kozen} et al., Lect. Notes Comput. Sci. 9135, 286--298 (2015; Zbl 1440.68174) Full Text: DOI
Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis Discretionary information flow control for interaction-oriented specifications. (English) Zbl 1321.68349 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 427-450 (2015). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Lluch Lafuente} et al., Lect. Notes Comput. Sci. 9200, 427--450 (2015; Zbl 1321.68349) Full Text: DOI Link
Chen, Tzu-Chun Lightening global types. (English) Zbl 1337.68064 J. Log. Algebr. Methods Program. 84, No. 5, 708-729 (2015). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{T.-C. Chen}, J. Log. Algebr. Methods Program. 84, No. 5, 708--729 (2015; Zbl 1337.68064) Full Text: DOI arXiv
Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto A calculus of quality for robustness against unreliable communication. (English) Zbl 1337.68041 J. Log. Algebr. Methods Program. 84, No. 5, 611-639 (2015). MSC: 68M14 68Q55 68Q85 PDFBibTeX XMLCite \textit{H. R. Nielson} et al., J. Log. Algebr. Methods Program. 84, No. 5, 611--639 (2015; Zbl 1337.68041) Full Text: DOI
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
Cruz-Filipe, Luís; Lanese, Ivan; Martins, Francisco; Ravara, António; Vasconcelos, Vasco Thudichum The stream-based service-centred calculus: a foundation for service-oriented programming. (English) Zbl 1342.68058 Formal Asp. Comput. 26, No. 5, 865-918 (2014). MSC: 68N19 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} et al., Formal Asp. Comput. 26, No. 5, 865--918 (2014; Zbl 1342.68058) Full Text: DOI
Ciancia, Vincenzo; Sammartino, Matteo A class of automata for the verification of infinite, resource-allocating behaviours. (English) Zbl 1444.68115 Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 97-111 (2014). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{V. Ciancia} and \textit{M. Sammartino}, Lect. Notes Comput. Sci. 8902, 97--111 (2014; Zbl 1444.68115) Full Text: DOI
Basile, Davide; Degano, Pierpaolo; Ferrari, Gian Luigi Automata for analysing service contracts. (English) Zbl 1444.68110 Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 34-50 (2014). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{D. Basile} et al., Lect. Notes Comput. Sci. 8902, 34--50 (2014; Zbl 1444.68110) Full Text: DOI
Bacci, Giorgio; Miculan, Marino; Rizzi, Romeo Finding a forest in a tree. (English) Zbl 1444.68134 Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 17-33 (2014). MSC: 68R10 05C05 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 8902, 17--33 (2014; Zbl 1444.68134) Full Text: DOI
Montanari, Ugo; Sammartino, Matteo A network-conscious \(\pi\)-calculus and its coalgebraic semantics. (English) Zbl 1342.68234 Theor. Comput. Sci. 546, 188-224 (2014). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{M. Sammartino}, Theor. Comput. Sci. 546, 188--224 (2014; Zbl 1342.68234) Full Text: DOI
Hasuo, Ichiro; Cho, Kenta; Kataoka, Toshiki Coinductive predicates and final sequences in a fibration. (English) Zbl 1334.68136 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 197-214 (2013). MSC: 68Q65 03B70 03G30 68Q85 PDFBibTeX XMLCite \textit{I. Hasuo} et al., Electron. Notes Theor. Comput. Sci. 298, 197--214 (2013; Zbl 1334.68136) Full Text: DOI
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti Deriving session and union types for objects. (English) Zbl 1308.68035 Math. Struct. Comput. Sci. 23, No. 6, 1163-1219 (2013). Reviewer: Haim Kilov (Millington) MSC: 68N30 68N19 68Q55 03B70 PDFBibTeX XMLCite \textit{L. Bettini} et al., Math. Struct. Comput. Sci. 23, No. 6, 1163--1219 (2013; Zbl 1308.68035) Full Text: DOI
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012). MSC: 68Q55 68P15 68Q42 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 7137, 42--60 (2012; Zbl 1312.68126) Full Text: DOI
Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad Channel-based coordination via constraint satisfaction. (English) Zbl 1220.68049 Sci. Comput. Program. 76, No. 8, 681-710 (2011). MSC: 68N30 68N15 68Q85 PDFBibTeX XMLCite \textit{D. Clarke} et al., Sci. Comput. Program. 76, No. 8, 681--710 (2011; Zbl 1220.68049) Full Text: DOI
Gadducci, Fabio; Monreale, Giacoma Valentina A decentralised graphical implementation of mobile ambients. (English) Zbl 1207.68224 J. Log. Algebr. Program. 80, No. 2, 113-136 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Gadducci} and \textit{G. V. Monreale}, J. Log. Algebr. Program. 80, No. 2, 113--136 (2011; Zbl 1207.68224) Full Text: DOI
Krause, Christian; Maraikar, Ziyan; Lazovik, Alexander; Arbab, Farhad Modeling dynamic reconfigurations in Reo using high-level replacement systems. (English) Zbl 1211.68052 Sci. Comput. Program. 76, No. 1, 23-36 (2011). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{C. Krause} et al., Sci. Comput. Program. 76, No. 1, 23--36 (2011; Zbl 1211.68052) Full Text: DOI Link