Applied Choreographies

DOI10.1007/978-3-319-92612-4_2MaRDI QIDQ5881532zbMATH OpenOpenAlexFDO

Authors Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli

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)

Recommendations

• Compositional choreographies
• Choreographies, logically
• Choreographies, logically
• scientific article; zbMATH DE number 7633801
• A core model for choreographic programming
• scientific article; zbMATH DE number 6703933

Cites work

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

Cited in

(21)

• Certifying choreography compilation
• Enforcing availability in failure-aware communicating systems
• Compositional choreographies
• On asynchrony and choreographies
• An abstract framework for choreographic testing
• An abstract framework for choreographic testing
• Keep me out of the loop: a more flexible choreographic projection
• scientific article; zbMATH DE number 790829 (Why is no real title available?)
• Choreographies with secure boxes and compromised principals
• Security protocols as choreographies
• Data-driven choreographies à la Klaim
• The evolution of Jolie. From orchestrations to adaptable choreographies
• Multiparty classical choreographies
• Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
• From infinity to choreographies. Extraction for unbounded systems
• A core model for choreographic programming
• From global choreographies to verifiable efficient distributed implementations
• Choreographies, logically
• A predicate transformer for choreographies. Computing preconditions in choreographic programming
• Certified compilation of choreographies with \textsf{hacc}
• Choreographies, logically

Describes a project that uses

Uses Software

• JBoss
• AIOCJ

This page was built for publication: Applied Choreographies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881532)