A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.

Stein Gjessing Stein Krogdahl Ellen Munthe-Kaas

Published in: IPPS (1991)

Keyphrases

linked list
application layer
data structure
protocol stack
lightweight
multi layer
coloured petri nets
network layer
model checking
video streaming
communication protocol
end to end
tcp ip
embedded systems
formal analysis
cryptographic protocols
network simulator
low cost
file transfer
genetic algorithm