A logical and computational theory of located resource


Collinson, M., Monahan, B. and Pym, D., 2009. A logical and computational theory of located resource. Journal of Logic and Computation, 19 (6), pp. 1207-1244.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below. (Contact Author)

Official URL:


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.


Item Type Articles
CreatorsCollinson, M., Monahan, B. and Pym, D.
Uncontrolled Keywordsprocess,systems modelling,resource,location,substructural logic
DepartmentsFaculty of Science > Computer Science
ID Code17547


Actions (login required)

View Item