A predicate transformer for choreographies. Computing preconditions in choreographic programming
From MaRDI portal
(Redirected from Publication:6166802)
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 7566072 (Why is no real title available?)
- scientific article; zbMATH DE number 7699432 (Why is no real title available?)
- A core model for choreographic programming
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- A semantics for concurrent separation logic
- A theory of design-by-contract for distributed multiparty interactions
- Applied Choreographies
- Branching time and abstraction in bisimulation semantics
- Certifying choreography compilation
- Certifying data in multiparty session types
- Choreographies, logically
- Choreographies, logically
- Compositional choreographies
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Deciding choreography realizability
- Dynamic multirole session types
- Fifty years of Hoare's logic
- Global progress for dynamically interleaved multiparty sessions
- Multiparty asynchronous session types
- Multiparty classical choreographies
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- On asynchrony and choreographies
- Parallel programming: An axiomatic approach
- Parameterised multiparty session types
- Procedural Choreographic Programming
- Process algebra with action dependencies
- Resources, concurrency, and local reasoning
- Structured Communication-Centred Programming for Web Services
- Symmetry breaking in distributed networks
- The Paths to Choreography Extraction
- The -calculus: A theory of mobile processes
Cited in
(2)
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)
