The following pages link to (Q4411823):
Displaying 5 items.
- A logic of separating modalities (Q290917) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- On Symbolic Heaps Modulo Permission Theories (Q5136317) (← links)
