TY  - RPRT
TI  - Synchronizability of Communicating Finite State Machines is not Decidable
AU  - Alain Finkel
AU  - Etienne Lozes
PY  - 2023
DO  - 10.46298/lmcs-19(4:33)2023
UR  - https://arxiv.org/abs/1702.07213
ID  - 1702.07213
ER  -