Person. Klaas Pruiksma ORCID · 0000-0002-6032-087X Papers Relating Message Passing and Shared Memory, Proof-Theoretically pfenning-2023-relatingCoordination Models and Languages · 2023 DOI