Sherlock: scalable deadlock detection for concurrent programs.

Mahdi Eslamimehr Jens Palsberg

Published in: SIGSOFT FSE (2014)

Keyphrases

deadlock detection
concurrent programs
distributed database systems
distributed systems
communication protocol
manufacturing systems
concurrent programming
process algebra
computer networks
distributed databases
inter organizational workflow
web applications
model checking
management system
database applications