A core model for choreographic programming

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

zbMATH Keywords

computabilityprocess calculichoreography

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)

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

• Scribble

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