The Paths to Choreography Extraction

DOI10.1007/978-3-662-54458-7_25zbMath1486.68111arXiv1610.10050OpenAlexW3100138532MaRDI QIDQ2988384

Kim S. Larsen, Fabrizio Montesi, Luís Cruz-Filipe

Publication date: 19 May 2017

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

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

Mathematics Subject Classification ID

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

Related Items (5)

From infinity to choreographies. Extraction for unbounded systems ⋮ A formal theory of choreographic programming ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Choreographies, logically ⋮ A core model for choreographic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An efficiency preorder for processes
• From Communicating Machines to Graphical Choreographies
• Compositional Choreographies
• Multiparty Session Types Meet Communicating Automata
• Synthesising Choreographies from Local Session Types
• Deadlock-freedom-by-design
• Multiparty asynchronous session types
• Choreographies, Logically
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• On Communicating Finite-State Machines
• Global progress for dynamically interleaved multiparty sessions
• Structured Communication-Centred Programming for Web Services

This page was built for publication: The Paths to Choreography Extraction