The following pages link to (Q4737192):
Displaying 12 items.
- Expressiveness and complexity of graph logic (Q870359) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- (Q4553286) (← links)
- (Q4553288) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
