Frank Pfenning, Klaas Pruiksma: Relating Message Passing and Shared Memory, Proof-Theoretically. COORDINATION 2023: 3-27