The Usage of Pi-Calculus for the Detection of Deadlock

Vanwart, Scott (PI)

Dalhousie University

Projet: Research project

Statut	Actif
Date de début/de fin réelle	1/1/05 → …

Financement

Natural Sciences and Engineering Research Council of Canada: 14 280,00 $ US

ASJC Scopus Subject Areas

Mathematics(all)
Computer Science(all)