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

[摘要] 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

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

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