m →Terminology: Lamport clock -> more general logical clock |
m moved Ricart-Agrawala Algorithm to Ricart-Agrawala algorithm: Algorithm -> algorithm |
||
(No difference)
|
m →Terminology: Lamport clock -> more general logical clock |
m moved Ricart-Agrawala Algorithm to Ricart-Agrawala algorithm: Algorithm -> algorithm |
||
(No difference)
|