Session types revisited
From MaRDI portal
Publication:2407105
DOI10.1016/j.ic.2017.06.002zbMath1376.68099OpenAlexW4232327061WikidataQ57599633 ScholiaQ57599633MaRDI QIDQ2407105
Ornela Dardha, Davide Sangiorgi, Elena Giachino
Publication date: 28 September 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2017.06.002
Related Items (23)
Binary Session Types for Psi-Calculi ⋮ Subtyping Supports Safe Session Substitution ⋮ Session types revisited ⋮ Comparing type systems for deadlock freedom ⋮ Interface automata for shared memory ⋮ Minimal session types for the \(\pi\)-calculus ⋮ Separating Sessions Smoothly ⋮ A Java-like calculus with heterogeneous coeffects ⋮ Type theory based semantic verification for service composition in cloud computing environments ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Context-Free Session Type Inference ⋮ Types for complexity of parallel computation in pi-calculus ⋮ Nested session types ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ On the relative expressiveness of higher-order session processes ⋮ Unnamed Item ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ Session types without sophistry. System description ⋮ Polymorphic lambda calculus with context-free session types ⋮ Prioritise the best variation ⋮ \( \pi\) with leftovers: a mechanisation in Agda
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Type systems for distributed programs: components and sessions
- Fundamentals of session types
- Type checking a multithreaded functional language with session types
- Amalgamating sessions and methods in object-oriented languages with generics
- An interpretation of typed objects into typed \(\pi\)-calculus
- Session types revisited
- A type system for lock-free processes
- Subtyping for session types in the pi calculus
- Compositional Choreographies
- Full Abstraction in a Subtyped pi-Calculus with Linear Types
- Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
- Bounded Session Types for Object Oriented Languages
- Bounded polymorphism in session types
- Session Types as Intuitionistic Linear Propositions
- Two Session Typing Systems for Higher-Order Mobile Processes
- Deadlock and lock freedom in the linear π-calculus
- Propositions as sessions
- A generic type system for the Pi-calculus
- Behavioral Polymorphism and Parametricity in Session-Based Communication
- Structured Communication-Centred Programming for Web Services
- Formal Methods at the Crossroads. From Panacea to Foundational Support
This page was built for publication: Session types revisited