Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.

Wiktor B. Daszczuk, Wlodek M. Zuberek

Browse the full DEPCoS paper archive.