Pages that link to "Item:Q2841277"
From MaRDI portal
The following pages link to A fully abstract model for mobile ambients (Q2841277):
Displaying 10 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A filter model for safe ambients (Q2847788) (← links)
- Behavioral theory for mobile ambients (Q3455211) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- Deriving Structural Labelled Transitions for Mobile Ambients (Q3541038) (← links)
- (Q4494378) (← 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)