TY  - RPRT
TI  - Comparing Process Calculi Using Encodings
AU  - Kirstin Peters
PY  - 2019
DO  - 10.4204/eptcs.300.2
UR  - https://arxiv.org/abs/1908.08633
ID  - 1908.08633
ER  -