scientific article; zbMATH DE number 7559468
From MaRDI portal
Publication:5089276
DOI10.4230/LIPIcs.CONCUR.2020.12MaRDI QIDQ5089276
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Precise Subtyping for Asynchronous Multiparty Sessions, An Analytic Propositional Proof System on Graphs, Prioritise the best variation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Computational interpretations of linear logic
- Multiparty session types, beyond duality
- Global types with internal delegation
- Multiparty session types as coherence proofs
- Precise subtyping for synchronous multiparty sessions
- A type system for lock-free processes
- Subtyping for session types in the pi calculus
- Uniform proofs as a foundation for logic programming
- From Communicating Machines to Graphical Choreographies
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- On projecting processes into session types
- Multiparty Session Types Meet Communicating Automata
- Synthesising Choreographies from Local Session Types
- Talking bananas: structural recursion for session types
- Full Abstraction in a Subtyped pi-Calculus with Linear Types
- Sequent calculi for induction and infinite descent
- Multiparty Asynchronous Session Types
- Behavioural Analysis of Sessions Using the Calculus of Structures
- Multiparty asynchronous session types
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Logic Programming with Focusing Proofs in Linear Logic
- The Consistency and Complexity of Multiplicative Additive System Virtual
- Deadlock and lock freedom in the linear π-calculus
- Observational Equivalence for Multiparty Sessions
- Constructing weak simulations from linear implications for processes with private names
- A system of interaction and structure
- A System of Interaction and Structure II: The Need for Deep Inference
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Using higher-order contracts to model session types
- Sub-behaviour relations for session-based client/server systems
- Parameterised Multiparty Session Types
