A Principle for Sequential Reasoning about Distributed Algorithms.

Frank A. Stomp Willem P. de Roever

Published in: Formal Aspects Comput. (1994)

Keyphrases

distributed systems
orders of magnitude
data mining algorithms
computational cost
image processing
computational complexity
theoretical analysis
databases
genetic algorithm
computational efficiency
recently developed
graph theory