: Predicate Transformers for Concurrency.
Leslie LamportPublished in: ACM Trans. Program. Lang. Syst. (1990)
Keyphrases
- concurrency control
- first order logic
- database systems
- transaction processing
- concurrency control protocols
- nested transactions
- information systems
- distributed databases
- dynamic allocation
- data flow
- software systems
- logic rules
- real time
- fine grained
- hidden markov models
- bayesian networks
- computer vision
- information retrieval
- real world
- databases