On the relative expressiveness of higher-order session processes
From MaRDI portal
Publication:2802492
Recommendations
- On the relative expressiveness of higher-order session processes
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Characteristic bisimulation for higher-order session processes
Cites work
- scientific article; zbMATH DE number 5823843 (Why is no real title available?)
- A CPS encoding of name-passing in higher-order mobile embedded resources
- A reflective higher-order calculus
- Asynchronous process calculi: The first- and higher-order paradigms
- Characteristic bisimulation for higher-order session processes
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Effects as sessions, sessions as effects
- Expressiveness of process algebras
- Full abstraction in a subtyped pi-calculus with linear types
- Linear type theory for asynchronous session types
- On distributability in process calculi
- On duality relations for session types
- On reduction-based process semantics
- On the expressiveness and decidability of higher-order process calculi
- On the expressiveness of interaction
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- Plain CHOCS. A second generation calculus for higher order processes
- Session types revisited
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Stack-based typed assembly language
- Strong normalisation in the \(\pi\)-calculus
- The \(\pi\)-calculus: A theory of mobile processes
- Towards a unified approach to encodability and separation results for process calculi
- Trees from functions as processes
- Two Session Typing Systems for Higher-Order Mobile Processes
- Typing copyless message passing
- Variations on mobile processes
- What is a ``good encoding of guarded choice?
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
Cited in
(21)- Using higher-order contracts to model session types (extended abstract)
- Using higher-order contracts to model session types
- scientific article; zbMATH DE number 7471661 (Why is no real title available?)
- Parameterizing higher-order processes on names and processes
- Encodability criteria for quantum based systems
- Characteristic bisimulation for higher-order session processes
- Reversibility in session-based concurrency: a fresh look
- On the expressiveness and decidability of higher-order process calculi
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Expressiveness via intensionality and concurrency
- Classical higher-order processes (short paper)
- scientific article; zbMATH DE number 1927578 (Why is no real title available?)
- scientific article; zbMATH DE number 2163043 (Why is no real title available?)
- Encodability criteria for quantum based systems
- On the discriminating power of passivation and higher-order interaction
- On the relative expressiveness of higher-order session processes
- Distinguishing and relating higher-order and first-order processes by expressiveness
- On the expressiveness of polyadic and synchronous communication in higher-order process calculi
- Higher-order processes, functions, and sessions: a monadic integration
- Higher-order processes with parameterization over names and processes
- Minimal session types for the \(\pi\)-calculus
This page was built for publication: On the relative expressiveness of higher-order session processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802492)
