A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.

Published in: CONCUR (1995)

Keyphrases

theoretical framework
information systems
multi agent
conceptual framework
theoretical basis
real time
databases
real world
machine learning
information retrieval
search engine
search algorithm
computational model
formal theory