Deconfined Global Types for Asynchronous Sessions

DOI10.46298/LMCS-19(1:3)2023MaRDI QIDQ5883749zbMATH OpenOpenAlexFDO

Authors Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

Publication date 22 March 2023

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2111.11984v6

Mathematics Subject Classification ID

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

Recommendations

• Multiparty asynchronous session types
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Partially typed multiparty sessions with internal delegation
• Multiparty Asynchronous Session Types
• Undecidability of asynchronous session subtyping

Cites work

• A theoretical perspective of coinductive logic programming
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming
• Deconfined Global Types for Asynchronous Sessions
• Dynamic multirole session types
• Event structure semantics for multiparty sessions
• Foundations of regular coinduction
• Fundamental properties of infinite trees
• GitHub
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Global progress for dynamically interleaved multiparty sessions
• Global Progress in Dynamically Interleaved Multiparty Sessions
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• scientific article; zbMATH DE number 7327953 (Why is no real title available?)
• Iterative algebras at work
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Nested protocols in session types
• Observational equivalence for multiparty sessions
• On the boundary between decidability and undecidability of asynchronous session subtyping
• On the undecidability of asynchronous session subtyping
• Precise Subtyping for Asynchronous Multiparty Sessions
• Precise subtyping for synchronous multiparty sessions
• Subtyping for session types in the pi calculus
• Undecidability of asynchronous session subtyping

Cited in

(12)

• Asynchronous typed object groups for grid programming
• CONCUR 2004 - Concurrency Theory
• Asynchronous Session Types and Progress for Object Oriented Languages
• Deconfined Global Types for Asynchronous Sessions
• Manifest deadlock-freedom for shared session types
• Partially Typed Multiparty Sessions
• Global types and event structure semantics for asynchronous multiparty sessions
• Fair asynchronous session subtyping
• Partially typed multiparty sessions with internal delegation
• Partial typing for asynchronous multiparty sessions
• Open compliance in multiparty sessions with partial typing
• Keep me out of the loop: a more flexible choreographic projection

Describes a project that uses

Uses Software

• Scala
• GitHub

This page was built for publication: Deconfined Global Types for Asynchronous Sessions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5883749)