Skip Navigation



Journal of Logic and Computation Advance Access published online on July 22, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp021
This Article
Right arrow Full Text (PDF)
Right arrow References
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Collinson, M.
Right arrow Articles by Pym, D.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

A Logical and Computational Theory of Located Resource

Matthew Collinson and Brian Monahan

HP Labs, Long Down Avenue, Stoke Gifford, Bristol BS34 8QZ, England, UK.
E-mail: collinson{at}hp.com; brian.monahan{at}hp.com

David Pym

HP Labs, Long Down Avenue, Stoke Gifford, Bristol BS34 8QZ, England, UK; University of Bath, BA2 7AY, England, UK.
E-mail: david.pym{at}hp.com

Received 20 June 2008.


  Abstract

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 a (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.

Keywords: Location; resource; process; systems modelling; substructural logic


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.