Rocco De Nicola
Original record- Institution
- The University of Edinburgh
- Year
- 1985
- Country
- United Kingdom
- MGP identifier
- 91553
Dissertation: Testing Equivalences and Fully Abstract Models of Communicating Processes
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Matthew C. B. HennessyUniversity of Waterloo · 1977
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Lorenzo Bettini | Università degli Studi di Siena | 2003 | 0 |
| Michele Boreale | Università di Roma La Sapienza | 1995 | 4 |
| Alessandro Celestini | IMT Institute for Advanced Studies, Lucca | 2013 | 0 |
| Flavio Corradini | Università di Roma La Sapienza | 1996 | 8 |
| Luca Di Stefano | Gran Sasso Science Institute | 2020 | 0 |
| Daniele Falassi | Università degli Studi di Firenze | 2007 | 0 |
| Daniele Gorla | Università degli Studi di Firenze | 2005 | 0 |
| Michele Loreti | Università degli Studi di Siena | 2002 | 3 |
| Rosario Pugliese | Università di Roma La Sapienza | 1996 | 5 |
| Giovanni Vigna | Politecnico di Milano | 1998 | 1 |