Using scylindric algebra to support local variables in rely/guarantee concurrency.

Larissa A. Meinicke Ian J. Hayes

Published in: FormaliSE (2023)

Keyphrases

query language
decision support
real numbers
data sets
database systems
data model
fine grained
variable selection
input variables
transaction processing