Login / Signup
Static deadlock detection for concurrent go by global session graph synthesis.
Nicholas Ng
Nobuko Yoshida
Published in:
CC (2016)
Keyphrases
</>
deadlock detection
distributed database systems
distributed systems
manufacturing systems
communication protocol
dynamic graph
multi dimensional