A Formally Verified SMT Approach to True Concurrency.

Juliana Küster Filipe Bowles Marco B. Caminati

Published in: CILC (2020)

Keyphrases

concurrency control
database systems
data flow
neural network
data mining
genetic algorithm
search engine
bayesian networks
distributed databases