Verifying a Distributed List System: A Case History.

Stein Krogdahl Olav Lysne

Published in: Formal Aspects Comput. (1997)

Keyphrases

distributed systems
distributed learning
database
cooperative
distributed database systems
distributed data
distributed architecture
distributed processing
website
similarity measure
multi agent
artificial neural networks
evolutionary algorithm
peer to peer
mobile agents