Login / Signup

Deadlock checking by a behavioral effect system for lock handling.

Ka I PunMartin SteffenVolker Stolz
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
  • digital libraries
  • real time
  • databases
  • data mining
  • relational databases
  • management system
  • fine grained