The Paths to Choreography Extraction
type: Item
instance of: scholarly article
title: The Paths to Choreography Extraction
zbMATH Open document ID: 1486.68111
DOI: 10.1007/978-3-662-54458-7_25
author: Luís Cruz-Filipe
author: Kim S. Larsen
author: Fabrizio Montesi
published in: Lecture Notes in Computer Science
publication date: 2017-05-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1610.10050
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6721004
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3100138532
cites work: An efficiency preorder for processes
cites work: On Communicating Finite-State Machines
cites work: Structured Communication-Centred Programming for Web Services
cites work: Deadlock-freedom-by-design, multiparty asynchronous global programming
cites work: Choreographies, logically
cites work: Q4608685
cites work: Global progress for dynamically interleaved multiparty sessions
cites work: Q2974797
cites work: Multiparty session types meet communicating automata
cites work: Multiparty asynchronous session types
cites work: Synthesising Choreographies from Local Session Types
cites work: From communicating machines to graphical choreographies
cites work: Compositional choreographies
cites work: Global Principal Typing in Partially Commutative Asynchronous Sessions
cites work: The \(\pi\)-calculus: A theory of mobile processes
Recommended article: Towards refinable choreographies
Recommended article: Q5019695
Recommended article: A core model for choreographic programming
Recommended article: A formal theory of choreographic programming
Recommended article: Q5057639
Recommended article: Q2974797
Recommended article: Compositional choreographies
description: scientific article; zbMATH DE number 6721004