Errata: HPL-2004-170 (R.2), Formal Aspects of Computing,18: 495-(2006) and Electronic

Collinson, Matthew ; Pym, David ; Tofts, Chris

HP Development Company

关键词: errata;    hpl-2004-170 (R.2);    logic;    concurrency;    resources;    processes;    modelling;    parallel;   

RP-ID  :  HPL-2007-153

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

美国|英语

来源: HP Labs

【 摘 要 】

We present a correction for an error that occurs in the following papers: HPL-2004-170 (R.2); Formal Aspects of Computing (2006)18: 495-517; and Electronic Notes in Theoretical Computer Science 172: 545-587, 2007. At first sight, the error appears to be simply a misplaced quantifier in the definition of bisimulation. We explain, however, that the error and its correction reveal a subtle interaction between the substructural connectives of MBI and the resource- process calculus SCRP. We begin with a specific example which illustrates the error. We include also the known typographical errors. Publication Info: Errata HPL-2004-170 (R.2), Formal Aspects of Computing,18: 495- (2006) and Electronic Notes in Theoretical Computer Science,172: 545- (2007) 6 Pages