Login / Signup
Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).
Hong Liu
Raymond E. Miller
Hans van der Schoot
Hasan Ural
Published in:
ICDCS (1996)
Keyphrases
</>
reachability analysis
deadlock detection
distributed database systems
distributed systems
data management
intelligent agents
model checking
markov decision processes
communication protocol
machine learning
data structure
business processes
manufacturing systems