托马斯·布伦戈斯；马可·佩雷索蒂 定时系统的行为等效性。 （英语） Zbl 1407.68331号 日志。方法计算。科学。 15，第1号，第17号论文，41页（2019年）.MSC公司：68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti}，日志。方法计算。科学。15，第1号，第17号论文，41页（2019年；Zbl 1407.68331） 全文： arXiv公司
托马斯·布伦戈斯；马可·佩雷索蒂 时间自动机的统一框架。 （英语） 兹比尔1392.68214 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学论文集59，第26条，第15页（2016）。MSC公司：65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti}，LIPIcs——莱布尼茨国际程序。通知。59，第26条，第15页（2016；Zbl 1392.68214） 全文： 内政部
格里博夫斯卡娅，N.S。 对于具有不变量的时间转移系统，时间倒刺互模拟是可判定的。 （英语） Zbl 1374.68330号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 31, 65-90 (2010).MSC公司：68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Gribovskaya}，Jt。牛市。NCC IIS，序列号。计算。科学。31、65-90（2010年；Zbl 1374.68330） 全文： 链接
M.V.安德列娃。 时间稳定事件结构的开放映射和行为等效性。 （俄语。英文摘要） Zbl 1249.68124号 维斯特。新西卜。戈斯。州立大学。马特·梅赫。通知。 8，第2期，14-29（2008）.MSC公司：68问题85 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.安德列娃}，维斯特恩。新西卜。戈斯。州立大学。马特·梅赫。通知。8、第2号、第14--29号（2008；Zbl 1249.68124）
马特乌斯，P。；M·莫里斯。；努斯，C。；A.帕切科。；塞尔纳达斯，A。；塞尔纳达斯，C。 随机时间自动机的分类基础。 （英语） Zbl 1070.68076号 西奥。计算。科学。 308，编号1-3，393-427（2003）.MSC公司：65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人，Theor。计算。科学。308，编号1--3，393--427（2003；Zbl 1070.68076） 全文： 内政部
詹姆斯·彼得斯（James F.III Peters）；格雷戈里·斯塔林。；希拉·拉曼纳 并发时间自动机的具体和抽象类别。 （英语） Zbl 0798.68117号 Hoffman，Frederick（ed.）等人，第二十三届东南组合学、图论和计算国际会议论文集，美国佛罗里达州博卡拉顿佛罗里达大西洋大学，1992年2月3-7日。温尼伯：Utilitas Mathematica Publishing Inc.。Congr。数字。第90109-117页（1992年）。MSC公司：70年第68季度 68问题85 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Peters III}等人，《第二十三届东南组合学、图论和计算国际会议论文集》，1992年2月3日至7日在美国佛罗里达州博卡拉顿佛罗里达大西洋大学举行。温尼伯：Utilitas Mathematica Publishing Inc.。109-117（1992；Zbl 0798.68117）