Pages that link to "Item:Q855007"
From MaRDI portal
The following pages link to A calculus and logic of resources and processes (Q855007):
Displaying 21 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← 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)
- Graphical models of separation logic (Q989553) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Errata for ``A calculus and logic of resources and processes'' and their consequences (Q2461539) (← links)
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic (Q2864163) (← links)
- A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources (Q3178291) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← 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)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- On Resource-Sensitive Timed Component Connectors (Q5428917) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
