A predicate transformer for choreographies. Computing preconditions in choreographic programming
From MaRDI portal
Publication:6166802
DOI10.1007/978-3-030-99336-8_19zbMath1528.68080MaRDI QIDQ6166802
Sung-Shik Jongmans, Petra van Den Bos
Publication date: 3 August 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- A semantics for concurrent separation logic
- Resources, concurrency, and local reasoning
- Symmetry breaking in distributed networks
- Process algebra with action dependencies
- Choreographies, logically
- A core model for choreographic programming
- Certifying choreography compilation
- Fifty years of Hoare's logic
- Certifying data in multiparty session types
- Compositional Choreographies
- Deadlock-freedom-by-design
- Deciding choreography realizability
- The Paths to Choreography Extraction
- Multiparty asynchronous session types
- Choreographies, Logically
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Parallel programming: An axiomatic approach
- Branching time and abstraction in bisimulation semantics
- Procedural Choreographic Programming
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Dynamic multirole session types
- Global progress for dynamically interleaved multiparty sessions
- Structured Communication-Centred Programming for Web Services
- Applied Choreographies
- Parameterised Multiparty Session Types
- Multiparty classical choreographies
This page was built for publication: A predicate transformer for choreographies. Computing preconditions in choreographic programming
