Diary Entry: 2007-12-13 00:00:00 - 2007-12-13 00:00:00

Group Meeting: Markus completes his talk on Full Abstraction in CSP.