Login / Signup

A minimal property for characterizing deadlock-free programs.

Vicent CholviPablo Boronat
Published in: Inf. Process. Lett. (2001)
Keyphrases
  • deadlock free
  • concurrency control
  • routing algorithm
  • transaction processing
  • real time
  • data mining
  • management system
  • peer to peer
  • database management systems