Diary Entry: 2008-02-07 00:00:00 - 2008-02-07 00:00:00

Group Meeting: Markus gives the presentation "Complete Trace Semantics and Failure Semantics".