Verifying Opacity of a Transactional Mutex Lock.

John Derrick Brijesh Dongol Gerhard Schellhorn Oleg Travkin Heike Wehrheim

Published in: FM (2015)

Keyphrases

mutual exclusion
concurrency control
transaction processing
long distance
model checking
data sets
fault tolerant
data structure
computer vision
real world
transaction model
concurrent execution
data management
foreground and background
databases
read write
real time