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)
Recommendations
Cited in
(35)- Choreographies, logically
- A modular framework for verifying versatile distributed systems
- Certifying choreography compilation
- Automatic analysis of complex interactions in microservice systems
- From global choreographies to verifiable efficient distributed implementations
- Realisability of choreographies
- An abstract framework for choreographic testing
- Automated synthesis of application-layer connectors from automata-based specifications
- Contracts as games on event structures
- Relating two automata-based models of orchestration and choreography
- From communicating machines to graphical choreographies
- Realizability and dynamic reconfiguration of chor specifications
- Synchronizability for Verification of Asynchronously Communicating Systems
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- Analyzing Chor specifications by translation into FSP
- On deciding synchronizability for asynchronously communicating systems
- A normalized form for FIFO protocols traces, application to the replay of mode-based protocols
- Compliance in behavioural contracts: a brief survey
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Counterexample guided synthesis of monitors for realizability enforcement
- An abstract framework for choreographic testing
- Event-B-supported choreography-defined communicating systems
- Multiparty testing preorders
- On resolving non-determinism in choreographies
- Resolving non-determinism in choreographies
- Applied Choreographies
- A Theory of Formal Choreographic Languages
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- Declarative choreographies and liveness
- A dynamic temporal logic for quality of service in choreographic models
- A dynamic temporal logic for quality of service in choreographic models
- Keep me out of the loop: a more flexible choreographic projection
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Realizable temporal logics for web service choreography
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
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)
