Two approaches for proving linearizability of multiset.

Bogdan Tofan Oleg Travkin Gerhard Schellhorn Heike Wehrheim

Published in: Sci. Comput. Program. (2014)

Keyphrases

real time
special case
information retrieval
social networks
image processing
high level
database systems
trade off