Automatic Verification of Erlang-Style Concurrency

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

Published in: CoRR (2013)

Keyphrases

concurrency control
database systems
software systems
queueing systems
concurrent execution
data sets
data flow
data mining
machine learning
software engineering