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