TY  - RPRT
TI  - Transaction Logic with (Complex) Events
AU  - Ana Sofia Gomes
AU  - José Júlio Alferes
PY  - 2014
UR  - https://arxiv.org/abs/1405.3790
ID  - 1405.3790
ER  -