TY  - RPRT
TI  - State/event based versus purely Action or State based Logics
AU  - James Smith
PY  - 2023
UR  - https://arxiv.org/abs/1303.7459
ID  - 1303.7459
ER  -