Concurrent Monadic Interfacing.

Ian Holyer Eleni Spiliopoulou

Published in: IFL (1998)

Keyphrases

deductive databases
datalog queries
datalog programs
data acquisition
mutual exclusion
database
concurrent execution
case study
special case
fuzzy sets
fixpoint