TY  - RPRT
TI  - A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
AU  - Claudio Corrodi
AU  - Alexander Heußner
AU  - Christopher M. Poskitt
PY  - 2017
DO  - 10.1007/s00165-017-0443-1
UR  - https://arxiv.org/abs/1710.03928
ID  - 1710.03928
ER  -