BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A unifying model for computational objects - Tony Hoare (Microsoft
  Research)
DTSTART:20090406T114500Z
DTEND:20090406T130000Z
UID:TALK17168@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:I am looking for a highly modular description of the behaviour
  of various computational objects (variables\, channels\, threads\, semaph
 ores\,...) within a unifying framework. Each type of object should be desc
 ribed independently of the others\, independent of the programs which mani
 pulate them\, and independent of the language in which they are embedded. 
 The behaviour of the objects is defined axiomatically by means of diagrams
 . Like Petri nets\, event structures\, pomsets\, transition nets\, etc. th
 ese can be modelled as labelled graphs. But diagrams are more fun than syn
 tax and semantics\, as I hope you will agree. 
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR