Magee Companion Website
Website contains cover image; author links; PDF slides/lecture notes; demo programs; Labelled Transition System Analyser; LTSA v 3.0 download; errata and solutions. The URL address for the website is: http://www-dse.doc.ic.ac.uk/concurrency/