Identifiant pérenne de la notice : 25816252X
Notice de type
Personne
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus /
Alexis Ghyselen ; sous la direction de Patrick Baillot. Thèse de doctorat : Informatique
: Lyon : 2021