Sign in
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