Realisability of global models of interaction

DOI10.1007/978-3-031-47963-2_15MaRDI QIDQ6605359zbMATH OpenFDO

Authors Maurice H. ter Beek, Rolf Hennicker, José Proença

Publication date 13 September 2024

Full work available at URL https://doi.org/10.1007/978-3-031-47963-2_15

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Binary session types for psi-calculi
• Can we communicate? Using dynamic logic to verify team automata
• Compositionality of safe communication in systems of team automata
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 1967727 (Why is no real title available?)
• scientific article; zbMATH DE number 1500652 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Modal I/O Automata for Interface and Product Line Theories
• Modal Logic, Transition Systems and Processes
• Multiparty asynchronous session types
• On global types and multi-party sessions
• Relating two automata-based models of orchestration and choreography
• Role-based development of dynamically evolving esembles
• The Algebra of Connectors—Structuring Interaction in BIP
• Unique decomposition of processes
• Unique parallel decomposition in branching and weak bisimulation semantics

This page was built for publication: Realisability of global models of interaction

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