Algebra and logic for resource-based systems modelling

DOI10.1017/S0960129509990077MaRDI QIDQ3643362zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Matthew Collinson, David 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 algebraresource-based modellingtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) 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)

Recommendations

• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• A calculus and logic of bunched resources and processes
• A calculus and logic of resources and processes
• A logical and computational theory of located resource
• A modal separation logic for resource dynamics

Cites work

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

Cited in

(22)

• A stone-type duality theorem for separation logic via its underlying bunched logics
• Coalgebraic completeness-via-canonicity for distributive substructural logics
• Bunched sequential information
• Intuitionistic layered graph logic
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• A logic of separating modalities
• Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map
• Exponential-size model property for PDL with separating parallel composition
• An epistemic separation logic
• Stone-type dualities for separation logics
• Tableaux methods for propositional dynamic logics with separating parallel composition
• A logical and computational theory of located resource
• Temporal BI: proof system, semantics and translations
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Counting the cost in the picalculus (extended abstract)
• A logic of efficient and optimal designs
• Abstract hidden Markov models: a monadic account of quantitative information flow
• A public announcement separation logic
• Pomsets with boxes: protection, separation, and locality in concurrent Kleene algebra
• A calculus and logic of resources and processes
• A calculus and logic of bunched resources and processes
• Algebra and logic for access control

Describes a project that uses

Uses Software

• PRISM
• MWB

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643362)