罗布·范格拉贝克 带有超时的进程代数的反应互模拟语义。 (英语) Zbl 07658241号 学报信息。 60,第1期,第11-57页(2023年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Acta Inf.60,No.1,11-57(2023;Zbl 07658241) 全文: 内政部
戴维·梅斯特尔;A.W.罗斯科。 在并发模型之间转换。 (英语) Zbl 1465.68181号 学报信息。 57,编号3-5,403-438(2020). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Mestel}和\textit{A.W.Roscoe},《学报》第57期,第3--5、403--438号(2020年;Zbl 1465.68181) 全文: 内政部 arXiv公司
安娜·卡瓦尔坎蒂;玛丽·克劳德·高德尔 测试中的精细化马戏团. (英语) Zbl 1237.68059号 学报信息。 48,第2期,97-147(2011).MSC公司:68号30 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{M.-C.Gaudel},《学报》第48期,第2期,第97-147页(2011年;Zbl 1237.68059) 全文: 内政部
卢卡·埃特罗;大卫·墨菲 过程代数中的时间和因果关系。 (英语) Zbl 0858.68036号 学报信息。 33,第4期,317-350(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{D.Murphy},《学报》第33期,第4期,第317--350页(1996年;Zbl 0858.68036) 全文: 内政部