scientific article; zbMATH DE number 7215288
From MaRDI portal
Publication:5114827
Rosario Pugliese, D. Basile, Maurice H. ter Beek
Publication date: 26 June 2020
Full work available at URL: https://arxiv.org/abs/1910.00849
Title of this publication is not available (Why is that?)
Cites Work
- A theory of timed automata
- Relating two automata-based models of orchestration and choreography
- From communicating machines to graphical choreographies
- Multiparty asynchronous session types
- Introduction to Discrete Event Systems
- An algebraic theory for web service contracts
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- A theory of contracts for web services
- Software Product Line Engineering
- CONCUR 2005 – Concurrency Theory
- Modal specifications for the control theory of discrete event systems
- An Overview of the mCRL2 Toolset and Its Recent Advances
- Modal I/O Automata for Interface and Product Line Theories
- On global types and multi-party sessions
- Compliance in Behavioural Contracts: A Brief Survey
- Application of supervisory control theory to theme park vehicles
- Timed I/O automata
- Behavioural contracts with request-response operations
- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
- Automata for Specifying and Orchestrating Service Contracts
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Session types for safe web service orchestration
- Family-Based Model Checking with mCRL2
- Title not available (Why is that?)
Cited In (5)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114827)
