A Theory of Formal Choreographic Languages
From MaRDI portal
Publication:6135778
DOI10.46298/lmcs-19(3:9)2023arXiv2210.08223OpenAlexW4385493810MaRDI QIDQ6135778
Ivan Lanese, Emilio Tuosto, Franco Barbanera
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.08223
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Infinite-word languages and continuous mappings
- Mixed product and asynchronous automata
- Langages sur des alphabets infinis
- Composition and decomposition of multiparty sessions
- Compositionality of safe communication in systems of team automata
- Multiparty session types as coherence proofs
- Precise subtyping for synchronous multiparty sessions
- A type system for lock-free processes
- Propositions as sessions
- On Nominal Regular Languages with Binders
- Deadlock-freedom-by-design
- Deciding choreography realizability
- Towards nominal computation
- Context-free session types
- Multiparty Asynchronous Session Types
- Nominal Kleene Coalgebra
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- Constructing Exponential-Size Deterministic Zielonka Automata
- On Communicating Finite-State Machines
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- Observational Equivalence for Multiparty Sessions
- Practical coinduction
- Fencing off go: liveness and safety for channel-based programming
- Global progress for dynamically interleaved multiparty sessions
- Structured Communication-Centred Programming for Web Services
- Globally Governed Session Semantics
- CONCUR 2003 - Concurrency Theory
- A Theory of Formal Choreographic Languages
- Can we communicate? Using dynamic logic to verify team automata
This page was built for publication: A Theory of Formal Choreographic Languages
