Proof of algorithms by general snapshots (1966)

by P NuR
Venue:Volume 12 / Number 10 / October, 1969 Communications of the ACM 583