Safe session-based concurrency with shared linear state
From MaRDI portal
Publication:6535247
DOI10.1007/978-3-031-30044-8_16zbMATH Open1541.6809MaRDI QIDQ6535247
Luís Caires, Pedro Leite Rocha
Publication date: 24 November 2023
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logical relations and observational equivalences for session-based concurrency
- Linear logic
- Strong normalisation in the \(\pi\)-calculus
- Conversation types
- Computational interpretations of linear logic
- Typing termination in a higher-order concurrent imperative language
- Logic programming in a fragment of intuitionistic linear logic
- On the \(\pi\)-calculus and linear logic
- A new linear logic for deadlock-free session-typed processes
- Structural cut elimination. I: Intuitionistic and classical logic
- On polymorphic sessions and functions. A tale of two (fully abstract) encodings
- A type system for lock-free processes
- The \(\pi\)-calculus: A theory of mobile processes
- Corecursion and Non-divergence in Session-Typed Processes
- Integrating linear and dependent types
- A concurrent model for linear logic
- Propositions as sessions
- Linear Logical Relations for Session-Based Concurrency
- The type discipline of behavioral separation
- Talking bananas: structural recursion for session types
- Linearity, Control Effects, and Behavioral Types
- Proof-Carrying Code in a Session-Typed Process Calculus
- Mobile Processes and Termination
- Conflation Confers Concurrency
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- Structured Interactional Exceptions in Session Types
- Hoare type theory, polymorphism and separation
- Session Types as Intuitionistic Linear Propositions
- Logical Semantics of Types for Concurrency
- Logic Programming with Focusing Proofs in Linear Logic
- Monitors
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Propositions as sessions
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- Practical affine types
- Termination of processes
- From Algol to polymorphic linear lambda-calculus
- Intuitionistic Light Affine Logic
- Linear logic propositions as session types
- A New Type System for Deadlock-Free Processes
- Least and Greatest Fixed Points in Linear Logic
- Manifest deadlock-freedom for shared session types
- Resource sharing via capability-based multiparty session types
Related Items (2)
Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees ⋮ Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
This page was built for publication: Safe session-based concurrency with shared linear state
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535247)
