"Multiparty Session Types and their Applications to Concurrent & Dist. Systems" by Nobuko Yoshida (2016) https://www.youtube.com/watch?v=HEg088cW528 #pwlconf #sessiontypes #deadlock