Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

HP.com home


Technical Reports



» 

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» Worldwide sites
» Downloads
Content starts here

 
Click here for full text: PDF

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

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Printable version
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.