Specifying and Reasoning About Shared-Variable Concurrency.

Ian J. Hayes Cliff B. Jones Larissa A. Meinicke

Published in: Theories of Programming and Formal Methods (2023)

Keyphrases

concurrency control
real time
neural network
social networks
relational databases
management system
data management
data flow
formal theory
elimination algorithm