The following pages link to (Q4783317):
Displaying 16 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)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
- Specification and verification for semi-structured data (Q5291135) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)
