School of Electronic Engineering and Computer Science

Duality in the pi-calculus

11 September 2012

Time: 11:00am - 12:00pm
Venue: EECS Computer Science Building Queen Mary, University of London Mile End London UK E1 4NS

Speaker: Jean-Marie Madiot (Lyon/Bologna) Joint Imperial/QM theory seminar BR:3.01

Abstract: The pi-calculus is not symmetric with respect to the switching between inputs and outputs. Symmetric variants exist (internal mobility, fusion
calculi) but fail to be compatible with subtyping. We analyse the problem of integrating symmetries and subtyping, present a symmetric calculus with subtyping and use it to analyse existing encodings of the lambda-calculus. Time permitting, we shall also discuss about variations of fusion calculi.