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

DOI10.1016/j.ic.2015.02.002zbMath1309.68139MaRDI 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 types; asynchronous subtyping; code mobility; linear typing; communication optimisation; higher-order \(\pi\)-calculus

Mathematics Subject Classification ID

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

Related Items

Unnamed Item, Session Types with Arithmetic Refinements, Unnamed Item, Precise Subtyping for Asynchronous Multiparty Sessions, A Sound Algorithm for Asynchronous Session Subtyping, On the boundary between decidability and undecidability of 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, Characteristic bisimulation for higher-order session processes, Undecidability of asynchronous session subtyping, On the Relative Expressiveness of Higher-Order Session Processes, On the Undecidability of Asynchronous Session Subtyping, Reversing Single Sessions, Subtyping Supports Safe Session Substitution

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