TY  - RPRT
TI  - History-Preserving Bisimulations on Reversible Calculus of Communicating Systems
AU  - Clément Aubert
AU  - Ioana Cristescu
PY  - 2018
UR  - https://arxiv.org/abs/1804.10355
ID  - 1804.10355
ER  -