TY  - RPRT
TI  - Better Automata through Process Algebra
AU  - Rance Cleaveland
PY  - 2020
UR  - https://arxiv.org/abs/2002.07562
ID  - 2002.07562
ER  -