A Cache coherence protocol for MIN-based multiprocessors.

Mazin S. Yousif Chita R. Das Matthew J. Thazhuthaveetil

Published in: J. Supercomput. (1994)

Keyphrases

lightweight
formal analysis
parallel implementation
network protocols
application layer
authentication protocol
distributed memory
communication protocols
case study
sensor networks
communication protocol
coloured petri nets
shared memory multiprocessors