An algorithm for minimally latent global virtual time · Study