The following pages link to (Q4783317):
Displaying 11 items.
- Reachability problems in BioAmbients (Q418830) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- (Q2844039) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
