阿兰·芬克尔；艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 （英语） 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公司
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹 猜测缓冲区对\（k\）-同步性的限制。 （英语） Zbl 07770240号 发现的国际期刊。计算。科学。 34，第8期，1051-1076（2023）.MSC公司：68季度xx 68新元 6800万 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人，国际期刊发现。计算。科学。34、编号8、1051--1076（2023；Zbl 07770240） 全文： 内政部
辛齐亚·迪·朱斯托；吉祖恩，洛伊奇德国；艾蒂安·洛兹 多方半双工系统和同步通信。 （英语） Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131，文章ID 100843，17 p.（2023）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人，J.Log。阿尔盖布。方法程序。131，文章ID 100843，17 p.（2023；Zbl 1512.68165） 全文： 内政部
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹 猜测k同步性的缓冲区界限。 （英语） Zbl 07495108号 Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12803, 102-114 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人，Lect。票据计算。科学。12803、102--114（2021；Zbl 07495108） 全文： 内政部 arXiv公司
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹 关于系统的（k）-同步性。 （英语） Zbl 07250937号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 157-176 (2020).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人，Lect。票据计算。科学。12077，157--176（2020；Zbl 07250937） 全文： 内政部 arXiv公司