Verification and Refinement of Distributed Programs in a Fair Framework.

Luis A. Galán Ricardo Pena

Published in: ARTS (1997)

Keyphrases

distributed systems
distributed learning
main contribution
image segmentation
multi agent
theoretical framework
database
reinforcement learning
cooperative
fault tolerant