Pages that link to "Item:Q2491209"
From MaRDI portal
The following pages link to A typed encoding of boxed into safe ambients (Q2491209):
Displaying 5 items.
- 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)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Programming Languages and Systems (Q5308698) (← links)