Diary Entry: 2007-01-11 00:00:00 - 2007-01-11 00:00:00

Group Meeting: Markus gives the presentation "Operational, Denotational, and Axiomatic CSP Semantics".