Pages that link to "Item:Q2841270"
From MaRDI portal
The following pages link to An overview of boxed ambients (abstract) (Q2841270):
Displaying 8 items.
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Information flow security in boundary ambients (Q2482455) (← 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)
- Splitting mobility and communication in boxed ambients (Q2851706) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311159) (← links)