The following pages link to (Q2778816):
Displaying 11 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- (Q2844039) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
