Towards Global Computations Guided by Concurrency Theory.

Bent Thomsen Lone Leth Thomsen

Published in: Bull. EATCS (1998)

Keyphrases

database systems
theoretical framework
computer vision
information theory
concurrency control
computational model
general theory
data flow
data mining
expert systems
fine grained
distributed databases
multi agent
image segmentation
theoretical basis
decision making
formal theory