@misc{indiciae60a6891e16f6,
  title = {Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars},
  author = {Manfred Schmidt-Schauß and David Sabel},
  year = {2020},
  doi = {10.4204/eptcs.322.8},
  url = {https://arxiv.org/abs/2008.13359},
  note = {Source identifier: 2008.13359}
}