A predicate transformer for choreographies. Computing preconditions in choreographic programming

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)

Mathematics Subject Classification ID

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)

Functional choreographic programming

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