Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

DOI10.1016/j.entcs.2007.02.020zbMath1277.68202OpenAlexW2057731278MaRDI QIDQ2864163

David J. Pym, Chris Tofts

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.020

zbMATH Keywords

synchronymodel checkingsemanticslocationaccess controlresourceprocess calculusbunched logicfield theorydiscrete event simulation

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Bunched sequential information ⋮ A logic of separating modalities ⋮ A Modal BI Logic for Dynamic Resource Properties ⋮ Temporal BI: proof system, semantics and translations ⋮ Errata for ``A calculus and logic of resources and processes and their consequences ⋮ Counting the Cost in the Picalculus (Extended Abstract) ⋮ Algebra and logic for access control ⋮ Erratum to: ``Algebra and logic for access control ⋮ Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus and logic of resources and processes
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• The semantics of entailment. II
• A process algebra of communicating shared resources with dense time and priorities
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• The semantics and proof theory of the logic of bunched implications
• Reports of the Midwest category seminar. IV
• A domain equation for bisimulation
• The semantics of BI and resource tableaux
• A term model for synchronous processes
• A Powerdomain Construction
• 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
• Anytime, anywhere
• BI as an assertion language for mutable data structures
• Computer Science Logic

This page was built for publication: Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic