dvir-2024-a:
  type: chapter
  title: A Denotational Approach to Release/Acquire Concurrency
  author:
  - Dvir, Yotam
  - Kammar, Ohad
  - Lahav, Ori
  date: 2024
  page-range: 121-149
  url: http://dx.doi.org/10.1007/978-3-031-57267-8_5
  serial-number:
    doi: 10.1007/978-3-031-57267-8_5
    isbn: '9783031572678'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Nature Switzerland