TY  - RPRT
TI  - A Logic for True Concurrency
AU  - Paolo Baldan
AU  - Silvia Crafa
PY  - 2014
UR  - https://arxiv.org/abs/1110.4094
ID  - 1110.4094
ER  -