Two Session Typing Systems for Higher-Order Mobile Processes

DOI10.1007/978-3-540-73228-0_23zbMATH Open1215.03028OpenAlexW2113714969MaRDI QIDQ3612640FDOQ3612640

Authors: Dimitris Mostrous, Nobuko Yoshida 

Publication date: 10 March 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-540-73228-0_23

Recommendations

• scientific article; zbMATH DE number 954809
• Publication:4508315
• scientific article; zbMATH DE number 2163047
• Analysing input/output-capabilities of mobile processes with a generic type system
• scientific article; zbMATH DE number 1670840
• A Hybrid Type System for Lock-Freedom of Mobile Processes
• Channel dependent types for higher-order mobile processes
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Towards an algebraic theory of typed mobile processes
• Automata, Languages and Programming

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (14)

• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Subtyping Supports Safe Session Substitution
• Deriving session and union types for objects
• Objects and session types
• On session types and polynomial time
• Characteristic bisimulation for higher-order session processes
• Amalgamating sessions and methods in object-oriented languages with generics
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Assigning types to processes
• Typing the behavior of software components using session types
• Session types revisited
• On the relative expressiveness of higher-order session processes
• On the Relative Expressiveness of Higher-Order Session Processes
• Higher-order processes, functions, and sessions: a monadic integration

This page was built for publication: Two Session Typing Systems for Higher-Order Mobile Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612640)