On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Qiwen Xu Antonio Cau Pierre Collette

Published in: CONCUR (1994)

Keyphrases

logical rules
rule sets
theorem proving
association rules
decision rules
classification rules
database systems
rule discovery
databases
concurrency control
human experts
transformation rules
rule learning
rule induction
data flow
association rule mining
domain experts
knowledge representation
data mining