The following pages link to (Q2769429):
Displaying 9 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- A semiring-based quantitative analysis of mobile systems (Q2852074) (← links)
- Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- (Q4449205) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)