Bisimulation for higher-order process calculi
From MaRDI portal
(Redirected from Publication:675066)
Recommendations
- On context bisimulation for parameterized higher-order processes
- Sound bisimulations for higher-order distributed process calculus
- Characteristic bisimulation for higher-order session processes
- Characteristic bisimulation for higher-order session processes
- Publication:3028334
- Bisimulation for Feller-Dynkin processes
- Bisimulations for a Distributed Higher Order π-Calculus
- Computable processes and bisimulation equivalence
- scientific article; zbMATH DE number 4119652
Cited in
(61)- Reversibility in the higher-order \(\pi\)-calculus
- A Testing Theory for a Higher-Order Cryptographic Language
- On the observational theory of the CPS-calculus
- On the expressiveness of interaction
- A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces
- Equivalence Checking for a Finite Higher Order π-Calculus
- Asynchronous process calculi: The first- and higher-order paradigms
- Bisimulations in calculi modelling membranes
- On parameterization of higher-order processes
- Howe’s Method for Calculi with Passivation
- Full abstractness for a functional/concurrent language with higher-order value-passing
- SOS formats and meta-theory: 20 years after
- Parameterizing higher-order processes on names and processes
- First-order semantics for higher-order processes
- The seal calculus
- Communication and mobility control in boxed ambients
- Process calculus based upon evaluation to committed form
- \(\pi\)-calculus with noisy channels
- On context bisimulation for parameterized higher-order processes
- CONCUR 2005 – Concurrency Theory
- Nominal SOS
- Process calculus based upon evaluation to committed form
- On the expressive power of \textsc{Klaim}-based calculi
- A complexity analysis of bisimilarity for value-passing processes
- Light logics and higher-order processes
- Towards a unified approach to encodability and separation results for process calculi
- More on bisimulations for higher order \(\pi\)-calculus
- Characteristic bisimulation for higher-order session processes
- Foundations of Software Science and Computation Structures
- Bisimulation by unification
- Characteristic bisimulation for higher-order session processes
- On the interactive power of higher-order processes extended with parameterization
- \(\mathrm{HO}\pi\) in Coq
- On the expressiveness and decidability of higher-order process calculi
- On an open problem of Amadio and Curien: The finite antichain condition
- Bisimulation and co-induction: some problems
- First-order reasoning for higher-order concurrency
- Bisimilarity of open terms.
- Reversible session-based pi-calculus
- Basic observables for a calculus for global computing
- Characterizing contextual equivalence in calculi with passivation
- Higher-order psi-calculi
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- scientific article; zbMATH DE number 4119652 (Why is no real title available?)
- Fair ambients
- Recursive equations in higher-order process calculi
- HOCore in Coq
- Towards `up to context' reasoning about higher-order processes
- Space-aware ambients and processes
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus
- Sound bisimulations for higher-order distributed process calculus
- Process Bisimulation Via a Graphical Encoding
- Distinguishing and relating higher-order and first-order processes by expressiveness
- Normal Bisimulations in Calculi with Passivation
- Contextual labelled semantics for higher-order process calculi
- Convenient category of processes and simulations I: Modulo strong bisimilarity
- Decidable fragments of a higher order calculus with locations
- Higher-order processes with parameterization over names and processes
- A Logic for Distributed Higher Order π-Calculus
- Comparing communication primitives via their relative expressive power
- Theory of interaction
This page was built for publication: Bisimulation for higher-order process calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q675066)
