TY  - RPRT
TI  - On Decidability of 2-process Affine Models
AU  - Petr Kuznetsov
AU  - Thibault Rieutord
PY  - 2020
UR  - https://arxiv.org/abs/2008.02099
ID  - 2008.02099
ER  -