Collouquim by Dr Markus Roggenbach, Swansea University

Modelling, Verification and Testing of the electronic payment system EP2 in CSP-CASL

Computer systems often involve the distributed processing of data. CSP-CASL is dedicated to the integrated description of processes and data. Admission: Free. Contact for further information: Emma Chaplin Tel: 0191 222 7972 Email: cs.reception@newcastle.ac.uk

Venue: Claremont Tower, room 701

Date: 18th June 2010

Time: 13:00 - 14:00