The following pages link to Ambient graph rewriting (Q2849869):
Displaying 5 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)