Deconfined Global Types for Asynchronous Sessions

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Deconfined Global Types for Asynchronous Sessions ⋮ Partially Typed Multiparty Sessions

Uses Software

• Scala
• GitHub

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