On Composing Communicating Systems

DOI10.4204/eptcs.365.4arXiv2208.04634MaRDI QIDQ6122641

Emilio Tuosto, Ivan Lanese, Franco Barbanera

Publication date: 1 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.04634

Mathematics Subject Classification ID

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

Related Items

Research Challenges in Orchestration Synthesis

Cites Work

• Unnamed Item
• Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday
• Contract-based discovery of Web services modulo simple orchestrators
• A calculus of communicating systems
• Composition and decomposition of multiparty sessions
• Connecting open systems of communicating finite state machines
• Verification of programs with half-duplex communication
• From Communicating Machines to Graphical Choreographies
• A Semantic Deconstruction of Session Types
• On Communicating Finite-State Machines
• Sub-behaviour relations for session-based client/server systems