Fundamentals of session types

DOI10.1016/J.IC.2012.05.002zbMath1254.68068OpenAlexW2080718905MaRDI QIDQ714736

Vasco Thudichum Vasconcelos

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.05.002

zbMATH Keywords

type systemsession typeslinear typespi calculus

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (22)

Multiparty session types as coherence proofs ⋮ Session-based concurrency, declaratively ⋮ Mixed Sessions ⋮ Session types revisited ⋮ Comparing type systems for deadlock freedom ⋮ Separating Sessions Smoothly ⋮ The different shades of infinite session types ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ Unnamed Item ⋮ Honesty by Typing ⋮ Unnamed Item ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Linearity, session types and the Pi calculus ⋮ Fundamentals of session types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A message-passing interpretation of adjoint logic ⋮ Mixed sessions ⋮ Session Types with Arithmetic Refinements ⋮ Unnamed Item ⋮ A calculus for modeling floating authorizations ⋮ Polymorphic lambda calculus with context-free session types

Uses Software

• Pict

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conversation types
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Fundamentals of session types
• Subtyping for session types in the pi calculus
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• Multiparty asynchronous session types
• Session Types as Intuitionistic Linear Propositions
• A Linear Account of Session Types in the Pi Calculus
• Functions as processes
• Linear type theory for asynchronous session types
• Linearity, session types and the Pi calculus
• Linear logic propositions as session types

This page was built for publication: Fundamentals of session types