Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences

• Authors:

• Matthew Collinson;David Pym;Chris Tofts

• Affiliations:

• Hewlett-Packard Laboratories, Filton Road, Stoke Gifford, BS34 8QZ, Bristol, UK;Hewlett-Packard Laboratories, Filton Road, Stoke Gifford, BS34 8QZ, Bristol, UK;Hewlett-Packard Laboratories, Filton Road, Stoke Gifford, BS34 8QZ, Bristol, UK

• Venue:
• Formal Aspects of Computing
• Year:
• 2007