Login / Signup

Finding stale-value errors in concurrent programs.

Michael BurrowsK. Rustan M. Leino
Published in: Concurr. Pract. Exp. (2004)
Keyphrases
  • concurrent programs
  • database
  • information systems
  • database systems
  • concurrent processes