Applied Choreographies

DOI10.1007/978-3-319-92612-4_2OpenAlexW2797038171MaRDI QIDQ5881532

Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi

Publication date: 10 March 2023

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

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

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 (3)

A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ An abstract framework for choreographic testing ⋮ A core model for choreographic programming

Uses Software

• AIOCJ
• JBoss

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• A calculus of communicating systems
• A calculus of mobile processes. II
• Choreographies, logically
• Multiparty session types as coherence proofs
• Compositional Choreographies
• Deadlock-freedom-by-design
• Deciding choreography realizability
• Multiparty Asynchronous Session Types
• Global progress for dynamically interleaved multiparty sessions

This page was built for publication: Applied Choreographies