Technical Reports
HPL-2008-205
Click here for full text:
An Update to Located Demos2k
Collinson, Matthew; Monahan, Brian; Pym, David
HP Laboratories
HPL-2008-205
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]