Synchronous Message Passing and Semaphores: An Equivalence Proof. - Iain Craig; Egon Börger (ASM, 2010)