Pages that link to "Item:Q5758049"
From MaRDI portal
The following pages link to Semantic Barbs and Biorthogonality (Q5758049):
Displaying 6 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)
- On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS (Q5170663) (← links)
