TY  - RPRT
TI  - Event structures for the reversible early internal Pi-calculus
AU  - Eva Graversen
AU  - Iain Phillips
AU  - Nobuko Yoshida
PY  - 2020
UR  - https://arxiv.org/abs/2004.01211
ID  - 2004.01211
ER  -