School of Electronic Engineering and Computer Science

News & Events menu

Duality in the pi-calculus

- 11 September 2012

Time: - 12:00pm
Venue: EECS Computer Science Building Queen Mary, University of London Mile End London UK E1 4NSSpeaker: 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.

Return to top