A calculus and logic of resources and processes

DOI10.1007/s00165-006-0018-zzbMath1111.68086OpenAlexW2009372148MaRDI QIDQ855007

Chris Tofts, David J. 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)

Related Items (18)

Bunched sequential information ⋮ A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources ⋮ Resources, concurrency, and local reasoning ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Temporal BI: proof system, semantics and translations ⋮ Non-normal modalities in variants of linear logic ⋮ A Spatial Equational Logic for the Applied π-Calculus ⋮ Errata for ``A calculus and logic of resources and processes and their consequences ⋮ Separation Logic Semantics for Communicating Processes ⋮ Algebra and logic for access control ⋮ Erratum to: ``Algebra and logic for access control ⋮ On Resource-Sensitive Timed Component Connectors ⋮ Graphical models of separation logic ⋮ A spatial equational logic for the applied \(\pi \)-calculus ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding ⋮ Algebra and logic for resource-based systems modelling ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

Uses Software

• SLMC

Cites Work

• Linear logic
• Calculi for synchrony and asynchrony
• The semantics of entailment. II
• Processes with probabilities, priority and time
• A process algebra of communicating shared resources with dense time and priorities
• A spatial logic for concurrency. I
• The semantics and proof theory of the logic of bunched implications
• Monitors
• Verifying properties of parallel programs
• The Logic of Bunched Implications
• A simple process algebra based on atomic actions with resources
• A denotational semantics for a process-based simulation language
• Getting Demos models right. (I). Practice
• Getting Demos models right. (II) … and theory
• BI as an assertion language for mutable data structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A calculus and logic of resources and processes