Handling localisation in rely/guarantee concurrency: An algebraic approach.

Larissa A. Meinicke Ian J. Hayes

Published in: CoRR (2019)

Keyphrases

concurrency control
data sets
database systems
real time
decision making
high level
evolutionary algorithm
transaction processing