Talks
Fall 2016

Compositionality and Session Types
Monday, Dec. 5, 2016 2:40 pm – 3:15 pm PST
Event:
Location:
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.