The following pages link to Theoretical Computer Science (Q5395068):
Displaying 7 items.
- Reachability problems in BioAmbients (Q418830) (← 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)
- Deciding reachability problems in Turing-complete fragments of Mobile Ambients (Q3655763) (← links)
- Reachability Analysis in BioAmbients (Q5179433) (← links)
- Programming Languages and Systems (Q5316568) (← links)