The following pages link to (Q2769429):
Displaying 5 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
