PhD - Statically Proving Behavioural Properties in the Pi-Calculus via Dependency Analysis

Authors

Post-Graduation Supervisor: António Ravara
Post-Graduation by: Maxime Gamboni