scientific article; zbMATH DE number 7378574
From MaRDI portal
Publication:5009447
DOI10.4230/LIPIcs.CONCUR.2018.30MaRDI QIDQ5009447
Bernardo Toninho, Stephanie Balzer, Frank Pfenning
Publication date: 4 August 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logical relations and observational equivalences for session-based concurrency
- Relating state-based and process-based concurrency through linear logic (full-version)
- A new linear logic for deadlock-free session-typed processes
- What is a ``good encoding of guarded choice?
- Towards a unified approach to encodability and separation results for process calculi
- Session types revisited
- A type system for lock-free processes
- Subtyping for session types in the pi calculus
- A Semantics for Propositions as Sessions
- Monitors and blame assignment for higher-order session types
- Functions as Session-Typed Processes
- Polarized Substructural Session Types
- Talking bananas: structural recursion for session types
- Observed Communication Semantics for Classical Processes
- Conflation Confers Concurrency
- Multiparty asynchronous session types
- On the Asynchronous Nature of the Asynchronous π-Calculus
- Session Types as Intuitionistic Linear Propositions
- Deadlock and lock freedom in the linear π-calculus
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration
- Linear logic propositions as session types
- Relating reasoning methodologies in linear logic and process algebra
- A New Type System for Deadlock-Free Processes
- Globally Governed Session Semantics
- Session-typed concurrent contracts
This page was built for publication:
