About Fixpoints for Concurrency.

Irène Guessarian

Published in: Semantics of Systems of Concurrent Processes (1990)

Keyphrases

logic programs
concurrency control
deductive databases
database systems
fixpoint
nonmonotonic reasoning
data flow
transaction processing
nested transactions
information retrieval
expert systems
real world
computer vision
distributed databases
autoepistemic logic
dynamic allocation