TY  - RPRT
TI  - Concurrence for well-formed CAFs: Naive Semantics
AU  - Rafael Kiesel
AU  - Anna Rapberger
PY  - 2021
UR  - https://arxiv.org/abs/2112.10445
ID  - 2112.10445
ER  -