Specifying Transaction Control to Serialize Concurrent Program Executions.
Egon BörgerKlaus-Dieter SchewePublished in: ABZ (2014)
Keyphrases
- control program
- database transactions
- database
- control problems
- concurrent programs
- automatic programming
- adaptive control
- operating system
- website
- data mining
- neural network
- real time
- concurrency control
- computer programs
- process control
- control system
- control theory
- control structure
- nested transactions
- program execution
- mutual exclusion
- long running
- concurrent execution