The following pages link to (Q4535034):
Displayed 5 items.
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)