A logical and computational theory of located resource

M Collinson, B Monahan, D Pym

Research output: Contribution to journalArticlepeer-review

22 Citations (SciVal)


Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes. resources, locations and environment. In recent work, we have given a process-theoretic account of this view in which resources as well as processes are first-class citizens. This process calculus, SCRP, captures the structural aspects of the semantics of the Demos2k (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, we complete our conceptual framework by adding to SCRP and MBI an account of a notion of location that is simple, yet sufficiently expressive to capture naturally a wide range of forms of location, both spatial and logical. We also provide a description of an extension of the D2K tool to incorporate this notion of location.
Original languageEnglish
Pages (from-to)1207-1244
Number of pages38
JournalJournal of Logic and Computation
Issue number6
Publication statusPublished - Dec 2009


  • process
  • systems modelling
  • resource
  • Location
  • substructural logic


Dive into the research topics of 'A logical and computational theory of located resource'. Together they form a unique fingerprint.

Cite this