Two Session Typing Systems for Higher-Order Mobile Processes

DOI10.1007/978-3-540-73228-0_23MaRDI QIDQ3612640zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 954809
• scientific article; zbMATH DE number 1512630
• 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

Cited in

(19)

• Amalgamating sessions and methods in object-oriented languages with generics
• Objects and session types
• Assigning types to processes
• On the relative expressiveness of higher-order session processes
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
• Characteristic bisimulation for higher-order session processes
• Session types revisited
• On the relative expressiveness of higher-order session processes
• Monitors and blame assignment for higher-order session types
• On session types and polynomial time
• Subtyping Supports Safe Session Substitution
• Using higher-order contracts to model session types (extended abstract)
• Typing the behavior of software components using session types
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• scientific article; zbMATH DE number 1231503 (Why is no real title available?)
• Higher-order processes, functions, and sessions: a monadic integration
• Deriving session and union types for objects
• Using higher-order contracts to model session types
• EXPRESSing session types

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)