Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.

Shengru Tu, Sol M. Shatz, Tadao Murata

Browse the full ICDCS paper archive.