The following pages link to Separability in the Ambient Logic (Q3535609):
Displayed 8 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- (Q2844039) (← links)