Advancing orchestration synthesis for contract automata

DOI10.1016/j.jlamp.2024.100998MaRDI QIDQ6615563

Davide Basile, Maurice H. ter Beek

Publication date: 8 October 2024

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating two automata-based models of orchestration and choreography
• Supervisory control and reactive synthesis: a comparative introduction
• Communicating finite state machines and an extensible toolchain for multiparty session types
• Practical synthesis of reactive systems from LTL specifications via parity games
• Automata for Specifying and Orchestrating Service Contracts
• Supervisory Control for Behavior Composition
• Typestate: A programming language concept for enhancing software reliability
• Supervisory Control of a Class of Discrete Event Processes
• 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
• On Composing Communicating Systems
• Can we communicate? Using dynamic logic to verify team automata
• Research Challenges in Orchestration Synthesis
• Coherent modal transition systems refinement

This page was built for publication: Advancing orchestration synthesis for contract automata