Publication:5114827
From MaRDI portal
Maurice H. ter Beek, Rosario Pugliese, Davide Basile
Publication date: 26 June 2020
Full work available at URL: https://arxiv.org/abs/1910.00849
Related Items
Unnamed Item, Composition of synchronous communicating systems, On Composing Communicating Systems, Research Challenges in Orchestration Synthesis
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Relating two automata-based models of orchestration and choreography
- Application of supervisory control theory to theme park vehicles
- An algebraic theory for web service contracts
- Modal specifications for the control theory of discrete event systems
- A theory of timed automata
- Behavioural contracts with request-response operations
- Session types for safe web service orchestration
- From Communicating Machines to Graphical Choreographies
- On Global Types and Multi-Party Session
- Automata for Specifying and Orchestrating Service Contracts
- Timed I/O automata
- A theory of contracts for web services
- Multiparty asynchronous session types
- Introduction to Discrete Event Systems
- Compliance in Behavioural Contracts: A Brief Survey
- Supervisory Control of a Class of Discrete Event Processes
- Family-Based Model Checking with mCRL2
- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
- An Overview of the mCRL2 Toolset and Its Recent Advances
- Software Product Line Engineering
- Modal I/O Automata for Interface and Product Line Theories
- CONCUR 2005 – Concurrency Theory
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints