Deconfined Global Types for Asynchronous Sessions
From MaRDI portal
Publication:5883749
DOI10.46298/lmcs-19(1:3)2023OpenAlexW3215689907MaRDI QIDQ5883749
Francesco Dagnino, Mariangiola Dezani-Ciancaglini, Paola Giannini
Publication date: 22 March 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.11984v6
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- GitHub
- Fundamental properties of infinite trees
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Undecidability of asynchronous session subtyping
- Precise subtyping for synchronous multiparty sessions
- Subtyping for session types in the pi calculus
- Event structure semantics for multiparty sessions
- Nested Protocols in Session Types
- On the Undecidability of Asynchronous Session Subtyping
- Multiparty Asynchronous Session Types
- A Theoretical Perspective of Coinductive Logic Programming
- Multiparty asynchronous session types
- Iterative algebras at work
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Observational Equivalence for Multiparty Sessions
- Dynamic multirole session types
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Coinductive Logic Programming
- Global progress for dynamically interleaved multiparty sessions
- Deconfined Global Types for Asynchronous Sessions
- Precise Subtyping for Asynchronous Multiparty Sessions
This page was built for publication: Deconfined Global Types for Asynchronous Sessions