Login / Signup
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