A Process Calculus of Atomic Commit.

Laura Bocchi Lucian Wischik

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

real time
databases
information technology
feature selection
image segmentation
multi agent systems
preprocessing
evolutionary algorithm
query language