Compositional choreographies

DOI10.1007/978-3-642-40184-8_30MaRDI QIDQ2842124zbMATH OpenOpenAlexFDO

Authors Fabrizio Montesi, Nobuko Yoshida

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40184-8_30

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A core model for choreographic programming
• Applied Choreographies
• Choreographies, logically
• Choreographies, logically
• On asynchrony and choreographies

Cited in

(31)

• EXPRESSing session types
• Event-B-supported choreography-defined communicating systems
• The structure of Argentine tango
• Certifying choreography compilation
• The Paths to Choreography Extraction
• Enforcing availability in failure-aware communicating systems
• An abstract semantics of the global view of choreographies
• On asynchrony and choreographies
• An abstract framework for choreographic testing
• Keep me out of the loop: a more flexible choreographic projection
• A dynamic temporal logic for quality of service in choreographic models
• Musical Composition and Gestural Diagrams
• Procedural Choreographic Programming
• Security protocols as choreographies
• Choreography synthesis as contract agreement
• Global progress for dynamically interleaved multiparty sessions
• Declarative choreographies and liveness
• The evolution of Jolie. From orchestrations to adaptable choreographies
• Session types revisited
• Multiparty classical choreographies
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
• A gentle introduction to multiparty asynchronous session types
• Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Multiparty session types as coherence proofs
• A core model for choreographic programming
• Choreographies, logically
• A predicate transformer for choreographies. Computing preconditions in choreographic programming
• Safe composition of systems of communicating finite state machines
• Applied Choreographies
• Choreographies, logically

Describes a project that uses

Uses Software

• Jolie

This page was built for publication: Compositional choreographies

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