The following pages link to (Q5714431):
Displaying 13 items.
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Elimination of spatial connectives in static spatial logics (Q1763729) (← links)
- A coordination approach to mobile components (Q1770368) (← 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)
- A semantic framework for open processes (Q2463561) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- (Q5090983) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Specification and verification for semi-structured data (Q5291135) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
