@misc{indiciae7d9ff7d6ef6c,
  title = {A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language},
  author = {Claudio Corrodi and Alexander Heußner and Christopher M. Poskitt},
  year = {2017},
  doi = {10.1007/s00165-017-0443-1},
  url = {https://arxiv.org/abs/1710.03928},
  note = {Source identifier: 1710.03928}
}