Login / Signup

Automatic Mutual Exclusion and Atomicity Checks.

Martín Abadi
Published in: Concurrency, Graphs and Models (2008)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • information retrieval
  • multidatabase systems
  • semi automatic