π-calculus, Session Types research at Imperial College

Multiparty Session Types and their Applications to Concurrent and Distributed Systems
Papers We Love Conference / Strange Loop 2016 preconference, St. Louis, MO, Sept 15-17, 2016

Nobuko Yoshida’s talk will present a summary of recent papers on multiparty session types for verifying distributed, parallel and concurrent programs, illustrating how theoretical work is grounded on collaborations with industry partners. This research led to the development of the protocol description language Scribble and other work such as static deadlock analysis in Go.

PWLConf 2016

Date 15 Sep 2016