The following pages link to Programming Languages and Systems (Q5316568):
Displaying 13 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 computational strength of pure ambient calculi (Q1763730) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- On the computational strength of pure ambient calculi (Q2847404) (← 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)
- On the Reachability Problem in P Systems with Mobile Membranes (Q5452051) (← links)
- On the Dynamics of PB Systems with Volatile Membranes (Q5452060) (← links)