Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus

DOI10.1016/J.IC.2015.02.002zbMath1309.68139OpenAlexW2116362715MaRDI QIDQ2343135

Nobuko Yoshida, Dimitris Mostrous

Publication date: 4 May 2015

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

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

zbMATH Keywords

session typesasynchronous subtypingcode mobilitylinear typingcommunication optimisationhigher-order \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (15)

Characteristic bisimulation for higher-order session processes ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Reversing Single Sessions ⋮ Subtyping Supports Safe Session Substitution ⋮ Undecidability of asynchronous session subtyping ⋮ Unnamed Item ⋮ On the boundary between decidability and undecidability of asynchronous session subtyping ⋮ On the Undecidability of Asynchronous Session Subtyping ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Connecting open systems of communicating finite state machines ⋮ On the relative expressiveness of higher-order session processes ⋮ Unnamed Item ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ Session Types with Arithmetic Refinements

Uses Software

• Scribble

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computational interpretations of linear logic
• Type checking a multithreaded functional language with session types
• Objects and session types
• Subtyping for session types in the pi calculus
• Multiparty Session Types Meet Communicating Automata
• Linear Logical Relations for Session-Based Concurrency
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Session Types as Intuitionistic Linear Propositions
• Two Session Typing Systems for Higher-Order Mobile Processes
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Functions as processes
• Recursive subtyping revealed
• Linear type theory for asynchronous session types
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus