Shared Data Contention in a Cache Coherence Protocol.

Michel Dubois Jin-Chin Wang

Published in: ICPP (1) (1988)

Keyphrases

coloured petri nets
cryptographic protocols
lightweight
group communication
file transfer
cooperative
tcp ip
formal analysis
communication protocols
key distribution
communication protocol
security protocols
databases
end to end
low cost
multi agent
web services
artificial intelligence
genetic algorithm