TY  - RPRT
TI  - Reversibility in Massive Concurrent Systems
AU  - Luca Cardelli
AU  - Cosimo Laneve
PY  - 2011
UR  - https://arxiv.org/abs/1108.3419
ID  - 1108.3419
ER  -