Diary Entry: 2009-12-07 00:00:00 - 2009-12-07 00:00:00

Phil gives a talk on "Observation Equivalence" in the MRes Seminar series on Concurrent Systems. The Processes and Data group also provided some Gluehwein to the participant of the seminar.