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

(33)

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

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)