Fundamentals of session types
From MaRDI portal
Publication:714736
DOI10.1016/j.ic.2012.05.002zbMath1254.68068MaRDI QIDQ714736
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
03B70: Logic in computer science
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Mixed Sessions, Session Types with Arithmetic Refinements, Linearity, session types and the Pi calculus, Separating Sessions Smoothly, Session-based concurrency in Maude: executable semantics and type checking, Fundamentals of session types, A message-passing interpretation of adjoint logic, Mixed sessions, Polymorphic lambda calculus with context-free session types, Session-based concurrency, declaratively, Session coalgebras: a coalgebraic view on session types and communication protocols, A calculus for modeling floating authorizations, Multiparty session types as coherence proofs, Session types revisited, Comparing type systems for deadlock freedom, Honesty by Typing
Uses Software
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