A Simple Way to Verify Linearizability of Concurrent Stacks.

Published in: CoRR (2021)

Keyphrases

real time
real world
website
relational databases
database
databases
machine learning
artificial intelligence
information systems
bayesian networks
expert systems
mutual exclusion