Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks.

Jenn-Nan Chen, Peter Chen

Browse the full COMPSAC paper archive.