An Update to Located Demos2k

Collinson, Matthew ; Monahan, Brian ; Pym, David

HP Development Company

关键词: location;    resource;    processes;    system modelling;    Demos2k;   

RP-ID  :  HPL-2008-205

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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.