Certifying choreography compilation

DOI10.1007/978-3-030-85315-0_8OpenAlexW3198885441MaRDI QIDQ2119966

Fabrizio Montesi, Luís Cruz-Filipe, Marco Peressotti

Publication date: 31 March 2022

Full work available at URL: https://arxiv.org/abs/2102.10698

zbMATH Keywords

compilationformalisationchoreographic programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Functional choreographic programming ⋮ A formal theory of choreographic programming ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming

Uses Software

• Zooid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Choreographies, logically
• A core model for choreographic programming
• Enforcing Availability in Failure-Aware Communicating Systems
• Propositions as sessions
• Deadlock-freedom-by-design
• Deciding choreography realizability
• Discretionary Information Flow Control for Interaction-Oriented Specifications
• Multiparty asynchronous session types
• Using encryption for authentication in large networks of computers
• Procedural Choreographic Programming

This page was built for publication: Certifying choreography compilation