Global escape in multiparty sessions

DOI10.1017/S0960129514000164zbMath1361.68163OpenAlexW2135716933MaRDI QIDQ5741561

Sara Capecchi, Elena Giachino, Nobuko Yoshida

Publication date: 28 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129514000164

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Reversibility in session-based concurrency: a fresh look ⋮ Fault-tolerant multiparty session types ⋮ A model of actors and grey failures ⋮ Linearity, Control Effects, and Behavioral Types

Cites Work

• Unnamed Item
• Formal development of reactive systems. Case study production cell
• Subtyping for session types in the pi calculus
• Nested Protocols in Session Types
• Structured Interactional Exceptions in Session Types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Buffered Communication Analysis in Distributed Multiparty Sessions
• On the expressive power of process interruption and compensation
• Process Algebra
• The Conversation Calculus: A Model of Service-Oriented Computation
• A Calculus for Orchestration of Web Services

This page was built for publication: Global escape in multiparty sessions