The following pages link to Typing evolving ambients (Q1607130):
Displaying 8 items.
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- (Q2844039) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
