Resolving Non-determinism in Choreographies

DOI10.1007/978-3-642-54833-8_26zbMath1405.68071OpenAlexW3057367MaRDI QIDQ5410716

Hernán Melgratti, Laura Bocchi, Emilio Tuosto

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ An abstract framework for choreographic testing ⋮ Composition and decomposition of multiparty sessions ⋮ Realisability of pomsets ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Unnamed Item

This page was built for publication: Resolving Non-determinism in Choreographies