atkey-2017-observed:
  type: chapter
  title: Observed Communication Semantics for Classical Processes
  author: Atkey, Robert
  date: 2017
  page-range: 56-82
  url: http://dx.doi.org/10.1007/978-3-662-54434-1_3
  serial-number:
    doi: 10.1007/978-3-662-54434-1_3
    isbn: '9783662544341'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer Berlin Heidelberg