Login / Signup
Improving Online Railway Deadlock Detection using a Partial Order Reduction.
Bjørnar Luteberget
Published in:
FMAS (2021)
Keyphrases
</>
deadlock detection
distributed database systems
distributed systems
partial order reduction
model checking
computer systems
computational complexity