BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:From Communicating Machines to Graphical Choreographies - Nobuko Y
 oshida and Julien Lange
DTSTART:20150522T130000Z
DTEND:20150522T140000Z
UID:TALK58700@talks.cam.ac.uk
CONTACT:Jonathan Hayman
DESCRIPTION:Graphical choreographies\, or global graphs\, are general mult
 iparty\nsession specifications featuring expressive constructs such as for
 king\,\nmerging\, and joining for representing application-level protocols
 .\nGlobal graphs can be directly translated into modelling notations such\
 nas BPMN and UML.\nIn this talk\, I will present (i) an algorithm whereby 
 a global graph can\nbe constructed from asynchronous interactions represen
 ted by\ncommunicating finite-state machines (CFSMs)\; and (ii) a sound and
 \ncomplete characterisation of a subset of safe CFSMs from which global\ng
 raphs can be constructed.
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR