Pages that link to "Item:Q2864163"
From MaRDI portal
The following pages link to Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163):
Displayed 9 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Erratum to: ``Algebra and logic for access control'' (Q973057) (← links)
- Errata for ``A calculus and logic of resources and processes'' and their consequences (Q2461539) (← links)
- A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)