TY  - RPRT
TI  - Causality in concurrent systems
AU  - Silvia Crafa
AU  - Federica Russo
PY  - 2013
UR  - https://arxiv.org/abs/1303.1384
ID  - 1303.1384
ER  -