Concurrent distinct choices.

Sergio Antoy Michael Hanus

Published in: J. Funct. Program. (2004)

Keyphrases

data structure
databases
artificial intelligence
multiscale
multi agent
search algorithm
digital libraries
relational databases
closely related
design choices
mutual exclusion