Research Challenges in Orchestration Synthesis

DOI10.4204/EPTCS.383.5arXiv2308.10651OpenAlexW4385950780MaRDI QIDQ6197380

Davide Basile, Maurice H. ter Beek

Publication date: 19 March 2024

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

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

Mathematics Subject Classification ID

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

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
• Introduction to Discrete Event Systems
• Typestate: A programming language concept for enhancing software reliability
• Supervisory Control of a Class of Discrete Event Processes
• On Composing Communicating Systems
• Can we communicate? Using dynamic logic to verify team automata

This page was built for publication: Research Challenges in Orchestration Synthesis