Login / Signup
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads.
Cliff B. Jones
Published in:
FM Workshops (2) (2019)
Keyphrases
</>
concurrency control
database systems
spatial reasoning
formal theory
database
genetic algorithm
information systems
optimal solution