Verifying Distributed Directory-Based Cahce Coherence Protocols: S3.mp, a Case Study.

Fong Pong Andreas Nowatzyk Gunes Aybay Michel Dubois

Published in: Euro-Par (1995)

Keyphrases

distributed systems
distributed environment
case study
multi agent
cooperative
agent technology
distributed architecture
distributed learning
database
real time
data sets
databases
lightweight
loosely coupled