True Concurrency via Abstract Interpretation.

Chiara Bodei Corrado Priami

Published in: SAS (1997)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
concurrency control
active databases
dynamic analysis
information systems