BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Event structure semantics of the pi-calculus - Daniele Varacca\, P
 aris 7
DTSTART:20080606T130000Z
DTEND:20080606T140000Z
UID:TALK12165@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:We present the first compositional event structure semantics f
 or a\nfully expressive pi-calculus\, generalising Winskel’s event struct
 ures for CCS.\nThe pi-calculus we model is the "internal" pi-calculus\, wh
 ere output of free names is not allowed.\nFirst we model the synchronous c
 alculus\, introducing a notion of dynamic\nrenaming to the standard operat
 ors on event structures. Then we model the asynchronous\ncalculus\, for wh
 ich a new additional operator\, called rooting\, is necessary\nfor represe
 nting causality due to new name binding. The semantics are\nshown to be op
 erationally adequate and sound with respect to bisimulation\n\nWe will pre
 sent also some ideas on how to deal with the full pi-calculus\, with free 
 name passing.\n\n(joint with Silvia Crafa and Nobuko Yoshida)\n
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR