阿兰·芬克尔；艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 （英语） 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；兹bl 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公司
莎拉·本雅古布；雅敏阿伊特阿默尔；克劳斯·迪特尔·舍韦 事件B支持的编排定义了通信系统。 （英语） Zbl 1497.68326号 Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12071, 155-168 (2020).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Benyagoub}等人，Lect。注释计算。科学。12071，155--168（2020；Zbl 1497.68326） 全文： 内政部
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹 关于系统的（k）-同步性。 （英语） Zbl 07250937号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 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公司
戴，费；陈浩；强、振平；梁志宏；黄碧；王磊光 自动分析微服务系统中的复杂交互。 （英语） Zbl 1435.68192号 复杂性 2020年，文章ID 2128793，12 p.（2020）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Dai}等人，《复杂性2020》，文章ID 2128793，12 p.（2020；Zbl 1435.68192） 全文： 内政部
莫里齐奥·穆尔吉亚 为异步定时会话类型输入紧急语义。 （英语） Zbl 1431.68078号 J.日志。阿尔盖布。方法计划。 107, 38-53 (2019).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Murgia}，J.Log。阿尔盖布。方法计划。107、38-53（2019年；Zbl 1431.68078） 全文： 内政部