Search: Abadi, D, synchronization, yale.edu