Pages that link to "Item:Q3599092"
From MaRDI portal
The following pages link to Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092):
Displaying 3 items.
- A semiring-based quantitative analysis of mobile systems (Q2852074) (← links)
- A Petri Net Interpretation of Open Reconfigurable Systems (Q3011889) (← 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)