pfenning-2023-relating:
  type: chapter
  title: Relating Message Passing and Shared Memory, Proof-Theoretically
  author:
  - Pfenning, Frank
  - Pruiksma, Klaas
  date: 2023
  page-range: 3-27
  url: http://dx.doi.org/10.1007/978-3-031-35361-1_1
  serial-number:
    doi: 10.1007/978-3-031-35361-1_1
    isbn: '9783031353611'
    issn: 1611-3349
  parent:
    type: book
    title: Coordination Models and Languages
    publisher: Springer Nature Switzerland