Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences
Matthew Collinson, David J. Pym, Chris Tofts · Formal Aspects of Computing · 2007
We present a correction for an error that occurs in the following paper Formal Aspects of Computing (2006) 18:495-517.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.We include also a statement of the consequences of these errata for the paper Electronic Notes in Theoretical Computer Science 172, 545-587, 2007, which builds directly upon Formal Aspects of Computing (2006) 18:495-517 and which illustrates the significance of these errata.