TY  - RPRT
TI  - Axiomatizing Maximal Progress and Discrete Time
AU  - Mario Bravetti
PY  - 2021
DO  - 10.23638/lmcs-17(1:1)2021
UR  - https://arxiv.org/abs/2001.08040
ID  - 2001.08040
ER  -