Pages that link to "Item:Q1826634"
From MaRDI portal
The following pages link to Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634):
Displayed 13 items.
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Graphical models of separation logic (Q989553) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- A program logic for resources (Q2463560) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)
- Separation Logic Tutorial (Q5504642) (← links)