Commutable transactions and the time_pad synchronization mechanism for distributed systems | IEEE Journals & Magazine | IEEE Xplore