Proving Linearizability via Branching Bisimulation.

Xiaoxiao Yang Joost-Pieter Katoen Huimin Lin Hao Wu

Published in: CoRR (2016)

Keyphrases

branch and bound
search tree
special case
response time
orders of magnitude
data sets
databases
machine learning
feature selection
relational databases
evolutionary algorithm
cost function
hidden markov models