A predicate transformer for choreographies. Computing preconditions in choreographic programming
type: Item
instance of: scholarly article
title: A predicate transformer for choreographies. Computing preconditions in choreographic programming
zbMATH Open document ID: 1528.68080
DOI: 10.1007/978-3-030-99336-8_19
author: Sung-Shik Jongmans
author: Petra van Den Bos
published in: Programming Languages and Systems
publication date: 2023-08-03T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7722325
MaRDI profile type: MaRDI publication profile
cites work: Fifty years of Hoare's logic
cites work: A ground-complete axiomatisation of finite-state processes in a generic process algebra
cites work: Deciding choreography realizability
cites work: A Theory of Design-by-Contract for Distributed Multiparty Interactions
cites work: A semantics for concurrent separation logic
cites work: Multiparty classical choreographies
cites work: Structured Communication-Centred Programming for Web Services
cites work: Deadlock-freedom-by-design
cites work: Choreographies, Logically
cites work: Choreographies, logically
cites work: Global progress for dynamically interleaved multiparty sessions
cites work: The Paths to Choreography Extraction
cites work: A core model for choreographic programming
cites work: Q5216414
cites work: Procedural Choreographic Programming
cites work: Certifying choreography compilation
cites work: Q6099602
cites work: Dynamic multirole session types
cites work: Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
cites work: Parameterised Multiparty Session Types
cites work: Q4144755
cites work: Conversation protocols: a formalism for specification and verification of reactive electronic services
cites work: Applied Choreographies
cites work: Branching time and abstraction in bisimulation semantics
cites work: Q5094146
cites work: Parallel programming: An axiomatic approach
cites work: Multiparty asynchronous session types
cites work: Symmetry breaking in distributed networks
cites work: Compositional Choreographies
cites work: Resources, concurrency, and local reasoning
cites work: Q2974797
cites work: Process algebra with action dependencies
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Certifying data in multiparty session types
description: scientific article; zbMATH DE number 7722325