Symmetry and Concurrency

Glynn Winskel

(University of Cambridge)

TBA
Tuesday 13th May 2008, 14:00
Robert Recorde Room
Department of Computer Science