Pages that link to "Item:Q5179047"
From MaRDI portal
The following pages link to Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047):
Displaying 6 items.
- Reachability problems in BioAmbients (Q418830) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Reachability analysis of fragments of mobile ambients in AC term rewriting (Q939167) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- On reachability and spatial reachability in fragments of BioAmbients (Q2864197) (← links)
- Programming Languages and Systems (Q5316568) (← links)