Instructors:Rob van Glabbeek and Liam O'Connor, Email: Rob.van.Glabbeek@ed.ac.uk License All rights reserved The University of Edinburgh Book traversal links for MCS: Course Contacts MCS: Assessment Up