Event-B-Supported Choreography-Defined Communicating Systems

DOI10.1007/978-3-030-48077-6_11zbMath1497.68326OpenAlexW3026232124MaRDI QIDQ5040369

Sarah Benyagoub, Klaus-Dieter Schewe, Yamine Ait-Ameur

Publication date: 14 October 2022

Published in: Rigorous State-Based Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48077-6_11

zbMATH Keywords

Event-Bchoreographyrealisabilitycorrectness proofcompleteness proof

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• On deciding synchronizability for asynchronously communicating systems
• Realisability of choreographies
• Deciding choreography realizability
• Decidable Topologies for Communicating Automata with FIFO and Bag Channels
• Mixing Lossy and Perfect Fifo Channels
• On Communicating Finite-State Machines

This page was built for publication: Event-B-Supported Choreography-Defined Communicating Systems