阿兰·芬克尔;艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 （英语） Zbl 07789005号 日志。方法计算。科学。 19，第4号，第33号论文，28页（2023年）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{E.Lozes}，Log。方法计算。科学。19，第4号，第33号论文，28页（2023；Zbl 07789005） 全文： 内政部 arXiv公司 OA许可证
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 （英语） Zbl 07559505号 Konnov，Igor（ed.）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第49条，第17页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。171，第49条，第17页（2020；兹bl 07559505） 全文： 内政部