| |
Click here for full text:
Errata: HPL-2004-170 (R.2), Formal Aspects of Computing,18: 495-(2006) and Electronic Notes in Theoretical Computer Science,172: 545-(2007)
Collinson, Matthew; Pym, David; Tofts, Chris
HPL-2007-153
Keyword(s): errata; hpl-2004-170 (R.2); logic; concurrency; resources; processes; modelling; parallel
Abstract: 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
Back to Index
|
Printable version
