<> <> <> <> <> <> YggCoordinatorControl: DEFINITIONS = BEGIN Initialize: PROC [hashArraySize: NAT]; <> <> CallAfterAnalysisPass: PROC []; <> <<(It initializes the coordinator's transaction ID generator).>> CallAfterUpdatePass: PROC []; <> <> <> <<(It enumerates the coordinators that remain after the update pass, aborting active>> <> <> END. <> <> <<>>