Deciding choreography realizability
DOI10.1145/2103656.2103680zbMATH Open1321.68183OpenAlexW4239234361MaRDI QIDQ2942872FDOQ2942872
Authors: Samik Basu, Tevfik Bultan, Meriem Ouederni 
Publication date: 11 September 2015
Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2103656.2103680
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (33)
- Compliance in behavioural contracts: a brief survey
- Realizability and dynamic reconfiguration of chor specifications
- Synchronizability for Verification of Asynchronously Communicating Systems
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Event-B-supported choreography-defined communicating systems
- Resolving non-determinism in choreographies
- Synchronizability of communicating finite state machines is not decidable
- Contracts as games on event structures
- Relating two automata-based models of orchestration and choreography
- Certifying choreography compilation
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- A modular framework for verifying versatile distributed systems
- An abstract framework for choreographic testing
- An abstract framework for choreographic testing
- A Theory of Formal Choreographic Languages
- A dynamic temporal logic for quality of service in choreographic models
- Realizable temporal logics for web service choreography
- Declarative choreographies and liveness
- Analyzing Chor specifications by translation into FSP
- On deciding synchronizability for asynchronously communicating systems
- Counterexample guided synthesis of monitors for realizability enforcement
- Automatic analysis of complex interactions in microservice systems
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
- From communicating machines to graphical choreographies
- Title not available (Why is that?)
- Multiparty testing preorders
- A normalized form for FIFO protocols traces, application to the replay of mode-based protocols
- From global choreographies to verifiable efficient distributed implementations
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- Choreographies, logically
- Applied Choreographies
- Realisability of choreographies
- Automated synthesis of application-layer connectors from automata-based specifications
Uses Software
This page was built for publication: Deciding choreography realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942872)
