An Experiment using Term Rewriting Techniques for Concurrency.

Carron Kirkwood

Published in: Functional Programming (1990)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
concurrency control
database systems
data flow
concurrent execution
database
concurrency control protocols
natural language
expert systems
transaction processing
concurrent programming