Pages that link to "Item:Q5758049"
From MaRDI portal
The following pages link to Semantic Barbs and Biorthogonality (Q5758049):
Displaying 11 items.
- A timed calculus for wireless systems (Q650891) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)