Heping, Shang (1988) Consistent global state : algorithms and an application in distributed garbage collection. Masters thesis, Concordia University.