Session types revisited

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

zbMATH Keywords

\(\pi\)-calculusencodingsession typeslinear typesvariant types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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