Lago, Faggian, Hasuo, Yoshimizu, 2014. The Geometry of Synchronization (Long Version).