SI: An Improved Coherency Protocol in CMP.

Pengyong Ma Shuming Chen

Published in: IEEE NAS (2007)

Keyphrases

formal analysis
network protocols
lightweight
database systems
multi agent systems
cryptographic protocols
coloured petri nets
information systems
communication protocol
application layer