scientific article; zbMATH DE number 7649947
From MaRDI portal
Publication:5875401
DOI10.4230/LIPICS.CONCUR.2019.39MaRDI QIDQ5875401
Bernardo Toninho, Jorge A. Pérez, Luís Caires, Frank Pfenning
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1907.01318
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Comparing session type systems derived from linear logic ⋮ A subexponential view of domains in session types
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Self-adaptation and secure information flow in multiparty communications
- Linear logical relations and observational equivalences for session-based concurrency
- Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6--9, 2016. Proceedings
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- Computational interpretations of linear logic
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- A calculus of mobile processes. II
- On the \(\pi\)-calculus and linear logic
- Mobile ambients
- Depending on session-typed processes
- Hybrid and subexponential linear logics
- Resource access control in systems of mobile agents
- Behavioural typing for safe ambients
- Types for the ambient calculus
- Intuitionistic hybrid logic
- Subtyping for session types in the pi calculus
- Corecursion and Non-divergence in Session-Typed Processes
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Monitors and blame assignment for higher-order session types
- Hybridizing a Logical Framework
- Propositions as sessions
- Linear Logical Relations for Session-Based Concurrency
- Nested Protocols in Session Types
- Proof-Carrying Code in a Session-Typed Process Calculus
- Multiparty asynchronous session types
- Session Types as Intuitionistic Linear Propositions
- Session Types for Access and Information Flow Control
- Deadlock and lock freedom in the linear π-calculus
- Hybrid linear logic, revisited
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Linear logic propositions as session types
- A New Type System for Deadlock-Free Processes
- Session-typed concurrent contracts
This page was built for publication:
