Graduation details

[PhD] - A logical Foundation for Session-based Concurrent Computation

Jan 2010 - Apr 2015

Abstract:

Start Date: 3 Jan 2010

End Date: 29 Apr 2015

Post-Graduation by: Bernardo Toninho

Post-Graduation Supervisor(s): Luis Caires, Frank Pfenning

Post-Graduation Jury(s):