Pages that link to "Item:Q2748155"
From MaRDI portal
The following pages link to Shape analysis for mobile ambients (Q2748155):
Displaying 7 items.
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Aliasing models for mobile objects (Q1854530) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- Shape analysis for mobile ambients (Q5178849) (← links)