Fundamentals of session types

DOI10.1016/J.IC.2012.05.002MaRDI QIDQ714736zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 6131659 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• scientific article; zbMATH DE number 1398006 (Why is no real title available?)
• scientific article; zbMATH DE number 2238212 (Why is no real title available?)
• A linear account of session types in the pi calculus
• Conversation types
• Full abstraction in a subtyped pi-calculus with linear types
• Functions as processes
• Fundamentals of session types
• Linear logic propositions as session types
• Linear type theory for asynchronous session types
• Linearity, session types and the pi calculus
• Multiparty asynchronous session types
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• Types and programing languages
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

Cited in

(47)

• Honesty by typing
• Deadlock freedom for asynchronous and cyclic process networks
• Session-based concurrency, declaratively
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Linearly refined session types
• Executable Semantics and Type Checking for Session-Based Concurrency in Maude
• Towards races in linear logic
• Session types without sophistry. System description
• Linearity, session types and the pi calculus
• A calculus of global interaction based on session types
• Type reconstruction for the linear \(\pi\)-calculus with composite regular types
• Type reconstruction for the linear \(\pi \)-calculus with composite and equi-recursive types
• A message-passing interpretation of adjoint logic
• On projecting processes into session types
• Type checking a multithreaded functional language with session types
• Mixed sessions
• Comparing session type systems derived from linear logic
• Session Types with Arithmetic Refinements
• scientific article; zbMATH DE number 7566072 (Why is no real title available?)
• Non-linear communication via graded modal session types
• The different shades of infinite session types
• Mixed sessions
• A linear account of session types in the pi calculus
• Type-checking liveness for collaborative processes with bounded and unbounded recursion
• A semantic deconstruction of session types
• Comparing type systems for deadlock freedom
• MAG\(\pi\): types for failure-prone communication
• System \(F^\mu_\omega\) with context-free session types
• Resource sharing via capability-based multiparty session types
• Polymorphic lambda calculus with context-free session types
• On sessions and infinite data
• Fundamentals of session types
• Comparing deadlock-free session typed processes
• Session-based concurrency in Maude: executable semantics and type checking
• Linear type theory for asynchronous session types
• scientific article; zbMATH DE number 7471698 (Why is no real title available?)
• Session types revisited
• On session types and polynomial time
• Subtyping for session types in the pi calculus
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• A calculus for modeling floating authorizations
• A universal session type for untyped asynchronous communication
• Affine sessions
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• scientific article; zbMATH DE number 7319032 (Why is no real title available?)
• Multiparty session types as coherence proofs
• scientific article; zbMATH DE number 6131659 (Why is no real title available?)

Describes a project that uses

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)