莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·索雷斯·巴博萨 加权同步自动机。 （英语） Zbl 1512.68141号 数学。结构。计算。科学。 32，第9期，1234-1253（2022）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人，数学。结构。计算。科学。32，编号9，1234--1253（2022；Zbl 1512.68141） 全文： DOI程序
莱安德罗·戈麦斯;亚历山大·马德拉;巴博萨、路易斯·索亚雷斯 的语义和逻辑模糊雅顿语法. （英语） Zbl 1499.03023号 软计算。 25，第9号，6789-6805（2021）.MSC公司：03B70号 03B52号 60年第68季度 68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人，《软计算》。25，编号9，6789--6805（2021；Zbl 1499.03023） 全文： DOI程序
宋亚辉;魏恩根·钦 纯酯醇时间验证的同步效应逻辑。 （英语） Zbl 1472.68020号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 417-440 (2021).MSC公司：68甲15 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Song}和\textit{W.-N.Chin}，Lect。票据计算。科学。12597，417--440（2021；Zbl 1472.68020） 全文： DOI程序
莱安德罗·戈麦斯;亚历山大·马德拉;路易斯·索亚雷斯（Luis Soares Barbosa） 在模糊自动机中引入同步性。 （英语） Zbl 1452.68106号 Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 43-60 (2020).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人，《电子》。注释Theor。计算。科学。348，43-60（2020年；兹比尔1452.68106） 全文： DOI程序
伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数：关于共享内存和基于事件的并发性的推理基础。 （英语） Zbl 1425.68293号 正式Asp。计算。 31,2号，133-163（2019）.MSC公司：68问题85 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人，《形式语法》。计算。31，第2号，133--163（2019；Zbl 1425.68293） 全文： DOI程序 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言：合理性、上下文无关性和自动机。 （英语） 兹伯利1417.68134 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司：68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，J.Log。阿尔盖布。方法计划。103、130-153（2019年；Zbl 1417.68134） 全文： DOI程序 arXiv公司
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 Brzozowski是并发的——pomset语言的Kleene定理。 （英语） Zbl 1442.68145号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第25条，第16页（2017年）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。85，第25条，第16页（2017年；Zbl 1442.68145） 全文： DOI程序 arXiv公司
彼得·吉普森;M.Andrew Moshier 带有测试和分支自动机的并发Kleene代数。 （英语） Zbl 1344.68083号 J.日志。阿尔盖布。方法计划。 85，第4期，637-652（2016）.MSC公司：2010年第68季度 68号30 68问题55 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{M.A.Moshier}，J.Log。阿尔盖布。方法计划。85，第4号，637--652（2016；Zbl 1344.68083） 全文： DOI程序
萨宾·布罗达;西尔维亚卡瓦达斯;费雷拉，米格尔;内尔玛·莫雷拉 用导数判定同步Kleene代数。 （英语） Zbl 1465.68192号 Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9223, 49-62 (2015).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}等人，Lect。票据计算。科学。9223，49-62（2015；Zbl 1465.68192） 全文： DOI程序 链接
克里斯蒂安·普里萨卡里奥;杰拉尔多·施奈德 复杂合同的动态道义逻辑。 （英语） Zbl 1258.03024号 J.日志。阿尔盖布。程序。 81，第4期，458-490（2012）. 审核人：路易斯·高布尔（塞勒姆） MSC公司：03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{C.Prisacariu}和\textit{G.Schneider}，J.Log。阿尔盖布。程序。81，No.4，458--490（2012；Zbl 1258.03024） 全文： DOI程序
你好，托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 （英语） 兹比尔1278.68176 J.日志。阿尔盖布。程序。 80，第6期，266-296（2011）.MSC公司：60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人，J.Log。阿尔盖布。程序。80，No.6，266--296（2011；Zbl 1278.68176） 全文： DOI程序 链接