Relating Message Passing and Shared Memory, Proof-Theoretically.

Frank Pfenning, Klaas Pruiksma

Browse the full Coordination paper archive.