MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Juliana Franco

PhD Student

www
dblp

As of April 2018, Juliana has moved to Microsoft Research Cambridge.

Publications

2018

Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad: Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018 : 885 - 911.