A calculus and logic of resources and processes

DOI10.1007/S00165-006-0018-ZzbMATH Open1111.68086OpenAlexW2009372148MaRDI QIDQ855007FDOQ855007

David Pym, Chris Tofts

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)

Cites Work

• The semantics of entailment. II
• The semantics and proof theory of the logic of bunched implications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Logic of Bunched Implications
• Title not available (Why is that?)
• BI as an assertion language for mutable data structures
• Title not available (Why is that?)
• Linear logic
• Calculi for synchrony and asynchrony
• Title not available (Why is that?)
• Verifying properties of parallel programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A spatial logic for concurrency. I
• Processes with probabilities, priority and time
• Monitors
• Title not available (Why is that?)
• Title not available (Why is that?)
• A process algebra of communicating shared resources with dense time and priorities
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

Cited In (18)

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

Uses Software

• SLMC

   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 π-calculus 👍 👎
• Title not available (Why is that?) 👍 👎

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)