Pages that link to "Item:Q3656772"
From MaRDI portal
The following pages link to A Logical and Computational Theory of Located Resource (Q3656772):
Displaying 9 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic (Q2864163) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)