Composition of synchronous communicating systems

DOI10.1016/j.jlamp.2023.100890OpenAlexW4383873775MaRDI QIDQ6052940

Emilio Tuosto, Franco Barbanera, Ivan Lanese

Publication date: 25 September 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100890

zbMATH Keywords

automatacommunicating systemscommunicating finite state machinescomposition of systemsdeadlock/lock freedomsynchronous communications

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Verifiable abstractions for contract-oriented systems
• Contract-based discovery of Web services modulo simple orchestrators
• Semantics of nondeterminism, concurrency, and communication
• A calculus of communicating systems
• Composition and decomposition of multiparty sessions
• Connecting open systems of communicating finite state machines
• A fixed-points based framework for compliance of behavioural contracts
• Verification of programs with half-duplex communication
• From Communicating Machines to Graphical Choreographies
• A Semantic Deconstruction of Session Types
• Compliance in Behavioural Contracts: A Brief Survey
• On Communicating Finite-State Machines
• Sub-behaviour relations for session-based client/server systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Composition of synchronous communicating systems