Pages that link to "Item:Q3525074"
From MaRDI portal
The following pages link to Mobile Ambients with Timers and Types (Q3525074):
Displaying 7 items.
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Checking modal contracts for virtually timed ambients (Q1623139) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Interaction in time and space (Q2864506) (← links)
- Timers and Proximities for Mobile Ambients (Q3499765) (← links)