Technical Reports


Click here for full text: PDF

An Update to Located Demos2k

Collinson, Matthew; Monahan, Brian; Pym, David
HP Laboratories


Keyword(s): location, resource, processes, system modelling, Demos2k

Abstract: We give here a short update concerning Located Demos2k briefly describing the ability to forget and recall resource links, as reported in an earlier Technical Report. We also briefly mention our (purely applicative) implementation in OCaml of a simulator for Located Demos2k. Two appendices contain a substantial example of Located Demos2k, presented in OCaml terms, and the execution trace produced by the implementation.

28 Pages

External Posting Date: November 21, 2008 [Fulltext]. Approved for External Publication
Internal Posting Date: November 21, 2008 [Fulltext]

Back to Index