Procedural Choreographic Programming
From MaRDI portal
Publication:5082192
DOI10.1007/978-3-319-60225-7_7zbMath1489.68051arXiv1602.03729OpenAlexW3101043415MaRDI QIDQ5082192
Fabrizio Montesi, Luís Cruz-Filipe
Publication date: 15 June 2022
Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1602.03729
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 (10)
Certifying choreography compilation ⋮ Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ Functional choreographic programming ⋮ Separating Sessions Smoothly ⋮ A formal theory of choreographic programming ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Choreographies, logically ⋮ A core model for choreographic programming ⋮ A coordination protocol language for power grid operation control
This page was built for publication: Procedural Choreographic Programming
