Pr-1st-1.1-m08-Slajd49
Z Studia Informatyczne
Algorytm Chandy-Lamporta dla kanałów FC (3)
Procedura RECORDSTATE nie różni się (poza używaniem znacznika TMARKER zamiast MARKER) od wersji dla kanałów FIFO.
Procedura RECORDSTATE nie różni się (poza używaniem znacznika TMARKER zamiast MARKER) od wersji dla kanałów FIFO.