The following pages link to (Q2778816):
Displaying 14 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)
- An axiomatisation of a pure calculus of names (Q1928489) (← 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)
- Intensionality of modal logic for robust ambient calculus (Q2844039) (← links)
- Local reasoning about data update (Q2864149) (← links)
- Freshness and Name-Restriction in Sets of Traces with Names (Q3000621) (← links)
- Computer Science Logic (Q5292670) (← links)
