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