Specifying Transaction Control to Serialize Concurrent Program Executions.

Egon Börger Klaus-Dieter Schewe

Published in: CoRR (2017)

Keyphrases

control program
control system
database
databases
concurrent programs
process control
control method
real time
write operations
optimal control
adaptive control
static analysis
control problems
database operations
control strategy
database transactions
mobile devices
neural network