A calculus and logic of resources and processes
From MaRDI portal
(Redirected from Publication:855007)
Recommendations
Cites work
- scientific article; zbMATH DE number 1701362 (Why is no real title available?)
- scientific article; zbMATH DE number 4030996 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3483531 (Why is no real title available?)
- scientific article; zbMATH DE number 3614158 (Why is no real title available?)
- scientific article; zbMATH DE number 3639189 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 555217 (Why is no real title available?)
- scientific article; zbMATH DE number 1948162 (Why is no real title available?)
- scientific article; zbMATH DE number 3894457 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- A denotational semantics for a process-based simulation language
- A process algebra of communicating shared resources with dense time and priorities
- A simple process algebra based on atomic actions with resources
- A spatial logic for concurrency. I
- BI as an assertion language for mutable data structures
- Calculi for synchrony and asynchrony
- Getting Demos models right. (I). Practice
- Getting Demos models right. (II) … and theory
- Linear logic
- Monitors
- Processes with probabilities, priority and time
- The Logic of Bunched Implications
- The semantics and proof theory of the logic of bunched implications
- The semantics of entailment. II
- Verifying properties of parallel programs
Cited in
(22)- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
- Separation Logic Semantics for Communicating Processes
- Logics and Bisimulation Games for Concurrency, Causality and Conflict
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
- Algebra and logic for access control
- A resource analysis of the \(\pi\)-calculus
- Algebra and logic for resource-based systems modelling
- A calculus and logic of bunched resources and processes
- Errata for ``A calculus and logic of resources and processes and their consequences
- A logical and computational theory of located resource
- On Resource-Sensitive Timed Component Connectors
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Light logics and higher-order processes
- Resources, concurrency, and local reasoning
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Non-normal modalities in variants of linear logic
- Erratum to: ``Algebra and logic for access control
- A Spatial Equational Logic for the Applied π-Calculus
- Temporal BI: proof system, semantics and translations
- Graphical models of separation logic
- Bunched sequential information
- A spatial equational logic for the applied \(\pi \)-calculus
This page was built for publication: A calculus and logic of resources and processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855007)