Sign in

Efficient deadlock detection for concurrent systems.

Saddek BensalemAndreas GriesmayerAxel LegayThanh-Hung NguyenDoron A. Peled
Published in: MEMOCODE (2011)
Keyphrases
  • concurrent systems
  • deadlock detection
  • distributed systems
  • distributed database systems
  • temporal logic
  • data structure
  • multi agent systems
  • lower bound
  • building blocks
  • petri net
  • model checking
  • formal specification