Ricart–Agrawala algorithm: Difference between revisions

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