CSP-CASL: Semantics, Application, Tools

Markus Roggenbach

(Swanses)

TBA
Thursday 28th September 2006, 14:00
Robert Recorde Room
Department of Computer Science