Fall 2016

Compositionality and Session Types

Monday, Dec. 5, 2016 2:40 pm3:15 pm PST

Add to Calendar


Calvin Lab Auditorium

I shall talk about a difficulty to extend session types to be compositional in several contexts: multiparty session types, communicating automata and Linear Logic. I also talk about several solutions -- some of them are motivated by practical applications of the session types.