雷蒙德·魔鬼队 过渡系统的衔接及其在Petri网综合中的应用。 （英语） Zbl 07796217号 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 113-126 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}，莱克特。注释计算。科学。11522113-126（2019年；兹bl 07796217） 全文： 内政部
帕帕帕纳吉奥图，Petros;雅克·弗莱里奥特 一种实用的、可扩展的方法，使用经典线性逻辑推理来纠正构建过程的组合。 （英语） Zbl 1524.68219号 弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11408, 77-93 (2019).MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Papapanagiotou}和\textit{J.Fleuriot}，莱克特。注释计算。科学。11408、77-93（2019年；Zbl 1524.68219） 全文： 内政部 arXiv公司 链接
佛朗哥·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 （英语） Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109，文章ID 100476，第34页（2019）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，J.Log。阿尔盖布。方法程序。109，文章ID 100476，34 p.（2019；Zbl 1435.68211） 全文： 内政部
汉娜·克劳代尔;马西耶·库特尼;段振华;Moszkowski，本 从盒代数到区间时序逻辑。 （英语） 兹比尔1423.68312 芬达姆。通知。 167，第4号，323-354（2019）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Fundam。通知。167，编号4，323--354（2019；Zbl 1423.68312） 全文： 内政部
詹姆斯·霍伊;伊雷克·乌利多夫斯基 可逆命令式并行程序和调试。 （英语） Zbl 1527.68035号 汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 108-127 (2019).MSC公司：第68页第19页 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。注释计算。科学。11497108-127（2019年；兹比尔1527.68035） 全文： 内政部 链接
斯蒂芬·门尼克;托比亚斯·普雷恩 保持公平：对等和组合。 （英语） Zbl 1431.68077号 J.日志。阿尔盖布。方法计划。 104, 1-15 (2019). 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mennicke}和\textit{T.Prehn}，J.Log。阿尔盖布。方法程序。104、1-15（2019年；Zbl 1431.68077） 全文： 内政部
沃尔夫冈·雷西格 具有双面界面的组件的关联组合。 （英语） Zbl 1431.68081号 学报信息。 56，第3号，229-253（2019）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig}，Acta Inf.56，No.3，229--253（2019；Zbl 1431.68081） 全文： 内政部