Sign in
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.
Si Liu
Peter Csaba Ölveczky
Min Zhang
Qi Wang
José Meseguer
Published in:
TACAS (2) (2019)
Keyphrases
</>
automatic analysis
transaction systems
concurrency control and recovery
distributed systems
fault tolerant
nested transactions
database
multi agent
concurrency control
response time
multi dimensional
database management systems
fine grained
wireless networks
distributed database systems