Pages that link to "Item:Q2864163"

The following pages link to Systems modelling via resources and processes: philosophy, calculus, semantics, and logic (Q2864163):

Displaying 13 items.

• Bunched sequential information (Q266883) (← links)
• A logic of separating modalities (Q290917) (← links)
• Temporal BI: proof system, semantics and translations (Q391122) (← links)
• A calculus and logic of resources and processes (Q855007) (← links)
• A calculus and logic of bunched resources and processes (Q906271) (← 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)
• Algebra and logic for resource-based systems modelling (Q3643362) (← links)
• A Logical and Computational Theory of Located Resource (Q3656772) (← links)
• Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)