Detalles del proyecto
| Estado | Activo |
|---|---|
| Fecha de inicio/Fecha fin | 1/1/05 → … |
Financiación
- Natural Sciences and Engineering Research Council of Canada: US$ 14.280,00
ASJC Scopus Subject Areas
- Mathematics(all)
- Computer Science(all)
The Usage of Pi-Calculus for the Detection of Deadlock
- Vanwart, Scott (PI)
Proyecto: Proyecto de Investigación