Sign in
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