On the Generation of Initial Contexts for Effective Deadlock Detection.

Elvira Albert Miguel Gómez-Zamalloa Miguel Isabel

Published in: CoRR (2017)

Keyphrases

deadlock detection
distributed database systems
case study
data processing
intrusion detection
manufacturing systems