Fundamentals of session types

DOI10.1016/J.IC.2012.05.002zbMATH Open1254.68068OpenAlexW2080718905MaRDI QIDQ714736FDOQ714736

Vasco T. 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

Recommendations

• Session types revisited
• Objects and session types
• A semantic deconstruction of session types
• scientific article; zbMATH DE number 6131659
• Session and Union Types for Object Oriented Programming
• Relating Functional and Imperative Session Types
• Modular session types for objects

zbMATH Keywords

session typestype systemlinear typespi calculus

Mathematics Subject Classification ID

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

• Pict

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)