Compositional Choreographies
From MaRDI portal
Publication:2842124
DOI10.1007/978-3-642-40184-8_30zbMath1390.68483OpenAlexW2342200509MaRDI QIDQ2842124
Nobuko Yoshida, Fabrizio Montesi
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Multiparty session types as coherence proofs ⋮ Applied Choreographies ⋮ Unnamed Item ⋮ Session types revisited ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Choreographies, logically ⋮ The Paths to Choreography Extraction ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ A core model for choreographic programming ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ The Evolution of Jolie
Uses Software
This page was built for publication: Compositional Choreographies