From Communicating Machines to Graphical Choreographies

DOI10.1145/2676726.2676964zbMath1346.68136OpenAlexW2076742248MaRDI QIDQ2819808

Nobuko Yoshida, Julien Lange, Emilio Tuosto

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/23365

zbMATH Keywords

theory of regionschoreographycommunicating finite-state machinesmultiparty session typesglobal graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (30)

Multiparty session types as coherence proofs ⋮ Contracts as games on event structures ⋮ Relating two automata-based models of orchestration and choreography ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Global Protocol Implementations via Attribute-Based Communication ⋮ Multiparty session types, beyond duality ⋮ Unnamed Item ⋮ Composition of synchronous communicating systems ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ Event structure semantics for multiparty sessions ⋮ On Composing Communicating Systems ⋮ Choreographies, logically ⋮ Declarative choreographies and liveness ⋮ Partially Typed Multiparty Sessions ⋮ Honesty by Typing ⋮ Unnamed Item ⋮ The Paths to Choreography Extraction ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ An abstract framework for choreographic testing ⋮ Connecting open systems of communicating finite state machines ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond ⋮ Unnamed Item ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: From Communicating Machines to Graphical Choreographies