Pages that link to "Item:Q890480"
From MaRDI portal
The following pages link to Strategy based semantics for mobility with time and access permissions (Q890480):
Displaying 5 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- A Timed Mobility Semantics Based on Rewriting Strategies (Q4899686) (← links)