A calculus and logic of resources and processes

DOI10.1007/S00165-006-0018-ZMaRDI QIDQ855007zbMATH OpenOpenAlexFDO

Authors Chris Tofts, David Pym

Publication date 20 December 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-006-0018-z

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Algebra and logic for resource-based systems modelling
• A calculus and logic of bunched resources and processes
• A resource analysis of the \(\pi\)-calculus
• scientific article; zbMATH DE number 1927568

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

Describes a project that uses

Uses Software

• SLMC

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)