Login / Signup
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.
Frank S. de Boer
Immo Grabe
Published in:
SOFSEM (2010)
Keyphrases
</>
deadlock detection
distributed database systems
distributed systems
communication protocol
manufacturing systems
databases
distributed databases
database management systems
petri net
concurrency control