A core model for choreographic programming
From MaRDI portal
Publication:2007727
DOI10.1016/J.TCS.2019.07.005zbMath1436.68078arXiv1510.03271OpenAlexW2962520317WikidataQ127533993 ScholiaQ127533993MaRDI QIDQ2007727
Fabrizio Montesi, Luís Cruz-Filipe
Publication date: 22 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.03271
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)
Related Items (11)
Certifying choreography compilation ⋮ Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ Functional choreographic programming ⋮ Branching Pomsets for Choreographies ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ A formal theory of choreographic programming ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Unnamed Item ⋮ Global types with internal delegation ⋮ Certified compilation of choreographies with \textsf{hacc}
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A calculus of communicating systems
- Multiparty session types as coherence proofs
- Enforcing Availability in Failure-Aware Communicating Systems
- Compositional Choreographies
- Deadlock-freedom-by-design
- Discretionary Information Flow Control for Interaction-Oriented Specifications
- The Paths to Choreography Extraction
- Multiparty Asynchronous Session Types
- Multiparty asynchronous session types
- Choreographies, Logically
- Session Types as Intuitionistic Linear Propositions
- On Communicating Finite-State Machines
- Using encryption for authentication in large networks of computers
- Procedural Choreographic Programming
- Propositions as sessions
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Global progress for dynamically interleaved multiparty sessions
- Structured Communication-Centred Programming for Web Services
- Applied Choreographies
- Globally Governed Session Semantics
This page was built for publication: A core model for choreographic programming