Automatic Verification of Erlang-Style Concurrency.

Emanuele D'Osualdo Jonathan Kochems C.-H. Luke Ong

Published in: SAS (2013)

Keyphrases

concurrency control
database systems
transaction processing
databases
information systems
measurement data
dynamic allocation
information retrieval
similarity measure