Some Experiments Using Term Rewriting Techniques for Concurrency.

Carron Kirkwood Kathy Norrie

Published in: FORTE (1990)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
concurrency control
rewrite systems
knuth bendix
database systems
data flow
transaction processing
concurrency control protocols
databases
expert systems
first order logic
nested transactions