A formal theory of choreographic programming
From MaRDI portal
Publication:6161233
DOI10.1007/s10817-023-09665-3arXiv2209.01886MaRDI QIDQ6161233
Marco Peressotti, Luís Cruz-Filipe, Fabrizio Montesi
Publication date: 27 June 2023
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2209.01886
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
- Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
- On the boundary between decidability and undecidability of asynchronous session subtyping
- A core model for choreographic programming
- Certifying choreography compilation
- Undecidability of asynchronous session subtyping
- Enforcing Availability in Failure-Aware Communicating Systems
- On Global Types and Multi-Party Session
- Deadlock-freedom-by-design
- HOCore in Coq
- Discretionary Information Flow Control for Interaction-Oriented Specifications
- The Paths to Choreography Extraction
- On the Undecidability of Asynchronous Session Subtyping
- Multiparty asynchronous session types
- Session Types as Intuitionistic Linear Propositions
- Using encryption for authentication in large networks of computers
- Procedural Choreographic Programming
This page was built for publication: A formal theory of choreographic programming
