Lecture 15: Global State and Snapshot Recording Algorithms

Published --