The following pages link to (Q4448354):
Displaying 10 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- The seal calculus (Q2566220) (← links)
- Hoare vs Milner: comparing synchronizations in a graphical framework with mobility (Q2852051) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051) (← links)
- GETGRATS (Q4923529) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- Exploiting User-definable Synchronizations in Graph Transformation (Q5404173) (← links)