Multiparty session types, beyond duality
From MaRDI portal
Publication:1647963
DOI10.1016/j.jlamp.2018.01.001zbMath1395.68199OpenAlexW2790040383MaRDI QIDQ1647963
Nobuko Yoshida, Alceste Scalas
Publication date: 27 June 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.01.001
Related Items (5)
Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Unnamed Item ⋮ Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- A calculus of mobile processes. II
- Subtyping for session types in the pi calculus
- On Duality Relations for Session Types
- From Communicating Machines to Graphical Choreographies
- A Gentle Introduction to Multiparty Asynchronous Session Types
- Propositions as sessions
- Synthesising Choreographies from Local Session Types
- Talking bananas: structural recursion for session types
- Multiparty Asynchronous Session Types
- Multiparty asynchronous session types
- Using Higher-Order Contracts to Model Session Types (Extended Abstract)
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Session Types as Intuitionistic Linear Propositions
- On Communicating Finite-State Machines
- Propositions as sessions
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Meeting Deadlines Together
- Using higher-order contracts to model session types
- Global progress for dynamically interleaved multiparty sessions
- Linear logic propositions as session types
- Globally Governed Session Semantics
- Typing Copyless Message Passing
- Globally Governed Session Semantics
- Parameterised Multiparty Session Types
- Parameterised Multiparty Session Types
This page was built for publication: Multiparty session types, beyond duality
