A predicate transformer for choreographies. Computing preconditions in choreographic programming
DOI10.1007/978-3-030-99336-8_19zbMATH Open1528.68080MaRDI QIDQ6166802FDOQ6166802
Sung-Shik Jongmans, Petra van Den Bos
Publication date: 3 August 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A semantics for concurrent separation logic
- Deciding choreography realizability
- Multiparty asynchronous session types
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Resources, concurrency, and local reasoning
- Branching time and abstraction in bisimulation semantics
- The \(\pi\)-calculus: A theory of mobile processes
- Dynamic multirole session types
- Global progress for dynamically interleaved multiparty sessions
- Structured Communication-Centred Programming for Web Services
- Deadlock-freedom-by-design
- Choreographies, Logically
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Symmetry breaking in distributed networks
- Compositional Choreographies
- Parallel programming: An axiomatic approach
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- Process algebra with action dependencies
- Parameterised Multiparty Session Types
- A core model for choreographic programming
- Procedural Choreographic Programming
- Choreographies, logically
- The Paths to Choreography Extraction
- Applied Choreographies
- Certifying choreography compilation
- Fifty years of Hoare's logic
- Certifying data in multiparty session types
- Multiparty classical choreographies
Cited In (1)
This page was built for publication: A predicate transformer for choreographies. Computing preconditions in choreographic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166802)
