Static Deadlock Detection for the SHIM Concurrent Language.

Nalini Vasudevan Stephen A. Edwards

Published in: MEMOCODE (2008)

Keyphrases

deadlock detection
distributed database systems
distributed systems
manufacturing systems
programming language
computer networks
case study
communication protocol
concurrent programming
wireless sensor networks
database applications
fine grained
information sharing