Session-Based Communication Optimisation for Higher-Order Mobile Processes

DOI10.1007/978-3-642-02273-9_16zbMath1246.68069OpenAlexW1602067946MaRDI QIDQ3637196

Dimitris Mostrous, Nobuko Yoshida

Publication date: 7 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02273-9_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Network protocols (68M12)

Related Items

On the Undecidability of Asynchronous Session Subtyping ⋮ Reversible session-based pi-calculus ⋮ Lightening global types ⋮ Progress-preserving Refinements of CTA ⋮ Deriving session and union types for objects ⋮ On asynchronous eventful session semantics ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus

Cites Work

• Unnamed Item
• A high-performance, portable implementation of the MPI message passing interface standard
• Subtyping for session types in the pi calculus
• Multiparty asynchronous session types
• Channel dependent types for higher-order mobile processes
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Two Session Typing Systems for Higher-Order Mobile Processes
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Functions as processes
• Linear type theory for asynchronous session types
• Structured Communication-Centred Programming for Web Services