Efficient deadlock detection for concurrent systems.

Saddek Bensalem Andreas Griesmayer Axel Legay Thanh-Hung Nguyen Doron A. Peled

Published in: MEMOCODE (2011)

Keyphrases

concurrent systems
deadlock detection
distributed systems
distributed database systems
temporal logic
data structure
multi agent systems
lower bound
building blocks
petri net
model checking
formal specification