Fundamentals of session types
From MaRDI portal
Publication:714736
DOI10.1016/J.IC.2012.05.002zbMATH Open1254.68068OpenAlexW2080718905MaRDI QIDQ714736FDOQ714736
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
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Functions as processes
- Title not available (Why is that?)
- Multiparty asynchronous session types
- Subtyping for session types in the pi calculus
- Types and programing languages
- Conversation types
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- Session Types as Intuitionistic Linear Propositions
- Linear type theory for asynchronous session types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types
- A Linear Account of Session Types in the Pi Calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linearity, session types and the Pi calculus
- Linear logic propositions as session types
- Fundamentals of session types
Cited In (36)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The different shades of infinite session types
- Title not available (Why is that?)
- Session-based concurrency in Maude: executable semantics and type checking
- Title not available (Why is that?)
- Mixed Sessions
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude
- Polymorphic lambda calculus with context-free session types
- A calculus for modeling floating authorizations
- Session-based concurrency, declaratively
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Linearity, session types and the Pi calculus
- Fundamentals of session types
- Comparing type systems for deadlock freedom
- Title not available (Why is that?)
- A message-passing interpretation of adjoint logic
- Type checking a multithreaded functional language with session types
- Title not available (Why is that?)
- Session types without sophistry. System description
- Title not available (Why is that?)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Deadlock freedom for asynchronous and cyclic process networks
- Mixed sessions
- Session types revisited
- Comparing session type systems derived from linear logic
- Non-linear communication via graded modal session types
- Session Types with Arithmetic Refinements
- Multiparty session types as coherence proofs
- MAG\(\pi\): types for failure-prone communication
- System \(F^\mu_\omega\) with context-free session types
- Resource sharing via capability-based multiparty session types
- Separating Sessions Smoothly
- Subtyping for session types in the pi calculus
- Honesty by Typing
Uses Software
This page was built for publication: Fundamentals of session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714736)