On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.

Published in: TGC (2006)

Keyphrases

cooperative
statistical analysis
neural network
real time
data mining
learning algorithm
image analysis
distributed systems
distributed environment
computing environments
quantitative analysis