TY  - RPRT
TI  - Reduction of Event Structures under History Preserving Bisimulation
AU  - Abel Armas-Cervantes
AU  - Paolo Baldan
AU  - Luciano Garcia-Bañuelos
PY  - 2014
UR  - https://arxiv.org/abs/1403.7181
ID  - 1403.7181
ER  -