Distributed On-the-Fly Equivalence Checking.

Christophe Joubert Radu Mateescu

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

Keyphrases

distributed systems
multi agent
distributed environment
lightweight
distributed computing
distributed data
computer vision
cooperative
fault tolerant
computing environments
communication cost