Pages that link to "Item:Q675066"
From MaRDI portal
The following pages link to Bisimulation for higher-order process calculi (Q675066):
Displaying 47 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- The seal calculus (Q2566220) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- HOCore in Coq (Q2945640) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
- Nominal SOS (Q3178277) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- First–order Semantics for Higher–order Processes (Q4921509) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5015357) (← links)
- (Q5089300) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Bisimulation and Co-induction: Some Problems (Q5262977) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
- Higher-order psi-calculi (Q5740353) (← links)
- Recursive equations in higher-order process calculi (Q5958778) (← links)
