Global escape in multiparty sessions

DOI10.1017/S0960129514000164MaRDI QIDQ5741561zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Global escape in multiparty sessions
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Structured Interactional Exceptions in Session Types
• Global progress for dynamically interleaved multiparty sessions
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types

Cites work

• A Calculus for Orchestration of Web Services
• Buffered Communication Analysis in Distributed Multiparty Sessions
• Formal development of reactive systems. Case study production cell
• Global Progress in Dynamically Interleaved Multiparty Sessions
• scientific article; zbMATH DE number 5728681 (Why is no real title available?)
• Nested protocols in session types
• On the expressive power of process interruption and compensation
• Process Algebra
• Structured Interactional Exceptions in Session Types
• Subtyping for session types in the pi calculus
• The Conversation Calculus: A Model of Service-Oriented Computation

Cited in

(7)

• Reversibility in session-based concurrency: a fresh look
• Global escape in multiparty sessions
• Linearity, control effects, and behavioral types
• A model of actors and grey failures
• MAG\(\pi\): types for failure-prone communication
• A session type system for asynchronous unreliable broadcast communication
• Crash-stop failures in asynchronous multiparty session types

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741561)