Algebra and logic for resource-based systems modelling

DOI10.1017/S0960129509990077zbMath1185.68441OpenAlexW2148032817WikidataQ56445144 ScholiaQ56445144MaRDI QIDQ3643362

Matthew Collinson, David J. Pym

Publication date: 11 November 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129509990077

zbMATH Keywords

process algebratemporal logicresource-based modelling

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (16)

Bunched sequential information ⋮ A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ A logic of separating modalities ⋮ Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Temporal BI: proof system, semantics and translations ⋮ An Epistemic Separation Logic ⋮ A calculus and logic of bunched resources and processes ⋮ A public announcement separation logic ⋮ Unnamed Item ⋮ Counting the Cost in the Picalculus (Extended Abstract) ⋮ Algebra and logic for access control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Intuitionistic Layered Graph Logic

Uses Software

• PRISM
• MWB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus and logic of resources and processes
• Resources, concurrency, and local reasoning
• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS
• Processes with probabilities, priority and time
• A brief history of process algebra
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• The origins of structural operational semantics
• Bisimulation from open maps
• Errata for ``A calculus and logic of resources and processes and their consequences
• The semantics and proof theory of the logic of bunched implications
• Dynamical systems: stability and simulability
• Bunched polymorphism
• Algebraic laws for nondeterminism and concurrency
• Adjointness in Foundations
• The Logic of Bunched Implications
• Getting Demos models right. (I). Practice
• Getting Demos models right. (II) … and theory
• Models and Separation Logics for Resource Trees
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Modal and temporal properties of processes

This page was built for publication: Algebra and logic for resource-based systems modelling