PhD - A logical Foundation for Session-based Concurrent Computation

Authors

Post-Graduation Supervisor: Luis Caires
Post-Graduation by: Bernardo Toninho
Post-Graduation Supervisor: Frank Pfenning