Treffer: Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks
Title:
Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks
Authors:
Source:
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International. :658-664 1990
Relation:
Proceedings Fourteenth Annual International Computer Software and Applications Conference
Database:
IEEE Xplore Digital Library