The following pages link to Fair ambients (Q877172):
Displaying 6 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)
