Synthesising Choreographies from Local Session Types

DOI10.1007/978-3-642-32940-1_17zbMath1364.68291arXiv1204.2566OpenAlexW1261671639MaRDI QIDQ2914373

Julien Lange, Emilio Tuosto

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.2566

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (17)

Multiparty session types as coherence proofs ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Multiparty session types, beyond duality ⋮ Verifiable abstractions for contract-oriented systems ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ Choreographies, logically ⋮ Honesty by Typing ⋮ The Paths to Choreography Extraction ⋮ Composition and decomposition of multiparty sessions ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ Unnamed Item ⋮ Global types with internal delegation ⋮ Automata for Analysing Service Contracts ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Unnamed Item ⋮ Protocol combinators for modeling, testing, and execution of distributed systems

This page was built for publication: Synthesising Choreographies from Local Session Types