BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Asynchrony\, Ordering\, and Protocols - Amit Chopra (Lancaster Uni
 versity)
DTSTART:20191017T140000Z
DTEND:20191017T150000Z
UID:TALK130138@talks.cam.ac.uk
CONTACT:Marco Caballero
DESCRIPTION:Abstract:\nAny application involving autonomous components\, o
 r agents\, is conceptually decentralized. Decentralization motivates coord
 ination between agents via asynchronous messaging and a protocol that spec
 ifies the constraints on messaging. \n\nI will introduce the Blindingly Si
 mple Protocol Language\, or BSPL\, a declarative information-based protoco
 l language of considerable novelty. Unlike other protocol languages\, BSPL
  explicitly specifies information causality and integrity. I will compare 
 BSPL with select modern languages that broadly fall under the umbrella of 
 session types on the basis of vital representational and operational crite
 ria\, among them ordering assumptions and concurrency\, and broad architec
 tural principles.\n\nBSPL embraces autonomy\, concurrency\, and asynchrony
  -- naturally -- and in that it gives us an opportunity to reimagine distr
 ibuted computing.\n\nBio:\nAmit Chopra is a senior lecturer at Lancaster U
 niversity. He is interested in the engineering of decentralized sociotechn
 ical systems\, with a focus on protocols\, norms\, and social meanings.
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR