Split synchronization logics