Session-Based Communication Optimisation for Higher-Order Mobile Processes
From MaRDI portal
Recommendations
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Two Session Typing Systems for Higher-Order Mobile Processes
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- On the relative expressiveness of higher-order session processes
- Linear type theory for asynchronous session types
Cites work
- A high-performance, portable implementation of the MPI message passing interface standard
- Channel dependent types for higher-order mobile processes
- Functions as processes
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Global Progress in Dynamically Interleaved Multiparty Sessions
- scientific article; zbMATH DE number 954809 (Why is no real title available?)
- Linear type theory for asynchronous session types
- Multiparty asynchronous session types
- Structured Communication-Centred Programming for Web Services
- Subtyping for session types in the pi calculus
- Two Session Typing Systems for Higher-Order Mobile Processes
Cited in
(11)- Amalgamating sessions and methods in object-oriented languages with generics
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- On the undecidability of asynchronous session subtyping
- Two Session Typing Systems for Higher-Order Mobile Processes
- scientific article; zbMATH DE number 1512624 (Why is no real title available?)
- 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
- Less is more revisited: association with global protocols and multiparty sessions
This page was built for publication: Session-Based Communication Optimisation for Higher-Order Mobile Processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637196)
