The following pages link to When ambients cannot be opened (Q1770415):
Displaying 11 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)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- Leader election in rings of ambient processes (Q2491642) (← 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)
- Reachability Analysis in BioAmbients (Q5179433) (← links)
- Foundations of Software Science and Computation Structures (Q5308445) (← links)
- Programming Languages and Systems (Q5316568) (← links)