The following pages link to When ambients cannot be opened (Q1770415):
Displaying 7 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)
- Leader election in rings of ambient processes (Q2491642) (← links)
- On Reachability and Spatial Reachability in Fragments of BioAmbients (Q2864197) (← links)
- Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047) (← links)
- Reachability Analysis in BioAmbients (Q5179433) (← links)
