PhD - Behavioural Types for Concurrency Control

Authors

Post-Graduation Supervisor: João Costa Seco
Post-Graduation by: Luís Lourenço