Symmetry and Concurrency, Part II

Glynn Winskel

(University of Cambridge)

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