Pages that link to "Item:Q939167"
From MaRDI portal
The following pages link to Reachability analysis of fragments of mobile ambients in AC term rewriting (Q939167):
Displaying 4 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- On reachability and spatial reachability in fragments of BioAmbients (Q2864197) (← links)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)