@Inproceedings{EPTCS322.8,
  author    = {Schmidt-Schau{\ss}, Manfred and Sabel, David},
  year      = {2020},
  title     = {Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars},
  editor    = {Dardha, Ornela and Rot, Jurriaan},
  booktitle = {{\rm Proceedings Combined 27th International Workshop on}
               Expressiveness in Concurrency {\rm and 17th Workshop on} Structural Operational Semantics,
               {\rm Online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {322},
  publisher = {Open Publishing Association},
  pages     = {88-105},
  doi       = {10.4204/EPTCS.322.8},
}