An Optimistic Protocol for a Linearizable Distributed Shared Memory System.

Masaaki Mizuno Mitchell L. Neilsen Michel Raynal

Published in: Parallel Process. Lett. (1996)

Keyphrases

distributed shared memory
message passing
fair exchange protocols
lightweight
coloured petri nets
formal analysis
quadratic assignment problem
fair exchange
stereo matching
communication protocol
markov random field
super resolution
belief propagation
cryptographic protocols
network protocols