The following pages link to Barbed bisimulation (Q5204357):
Displaying 50 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Linear forwarders (Q2384926) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- The seal calculus (Q2566220) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Deriving Bisimulation Congruences: A 2-categorical Approach (Q2842606) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- Synchrony vs Asynchrony in Communication Primitives (Q2866346) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- (Q3384918) (← links)
- (Q3384919) (← links)
- (Q3385647) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- (Q5013872) (← links)
- (Q5015358) (← links)
- From π-calculus to higher-order π-calculus — and back (Q5044732) (← links)
- From a concurrent λ-calculus to the π-calculus (Q5055881) (← links)
- (Q5089290) (← links)
- (Q5111635) (← links)
- (Q5155663) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- Bisimulation and Co-induction: Some Problems (Q5262977) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
- (Q5856402) (← links)
- Topological models for higher order control flow (Q5890044) (← links)
- An investigation into functions as processes (Q5890045) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
