卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Anna Ingólfsdóttir 监视无声操作。 （英语） Zbl 1491.68104号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第7条，第14页（2018年）。MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。93，第7条，第14页（2018；兹bl 1491.68104） 全文： 内政部
弗洛里安·洛伯；阿姆诺·罗森曼；德扬·尼契科维奇；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 具有静默转换的时间自动机的有界判定。 （英语） Zbl 1425.68216号 实时系统。 53，第3期，291-326（2017）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lorber}等人，《实时系统》。53，第3号，291--326（2017；Zbl 1425.68216） 全文： 内政部 arXiv公司
托马斯·布伦戈斯 富序单子上余代数的弱互模拟。 （英语） Zbl 1391.68083号 日志。方法计算。科学。 11，第2号，第14号论文，44页（2015）.MSC公司：68问题85 18立方厘米 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}，日志。方法计算。科学。11，第2号，第14号论文，44页（2015；Zbl 1391.68083） 全文： 内政部 arXiv公司
彼得·罗登堡。；扬·威廉·克鲁普；科曼斯，喀斯特；乔斯·弗兰肯 由\（\delta\）、\（\epsilon\）和\（\tau\）生成的自由进程代数。 （英语） Zbl 1216.68195号 西奥。计算。科学。 412，第28号，3370-3377（2011）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Rodenburg}等人，Theor。计算。科学。412，第28号，3370--3377（2011；Zbl 1216.68195） 全文： 内政部
Vu，Thuy Duong先生 确定正交互模拟。 （英语） 兹比尔1131.68068 正式Asp。计算。 19，第4期，475-485（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.D.Vu}，正式Asp。计算。19，第4号，475--485（2007；Zbl 1131.68068） 全文： 内政部
Vu，Thuy Duong先生 进程的压缩结构。 （英语） Zbl 1184.68350号 信息处理。莱特。 96，第6期，225-229（2005）.MSC公司：68问题85 68页30 PDF格式BibTeX公司 XML格式引用 \textit{T.D.Vu}，Inf.过程。莱特。96，第6号，225--229（2005；Zbl 1184.68350） 全文： 内政部
Jan A.Bergstra。；阿尔班·蓬塞；范德兹瓦格，马克B。 分支时间和正交共刺激等价。 （英语） Zbl 1070.68100号 西奥。计算。科学。 309，编号1-3，313-355（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人，Theor。计算。科学。309，编号1--3313--355（2003；Zbl 1070.68100） 全文： 内政部
法隆·莫勒；克里斯·托夫茨 TCCS中的行为抽象。 （英语） Zbl 1425.68299号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 559-570 (1992).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}和\textit{C.Tofts}，莱克特。注释计算。科学。623559-570（1992年；Zbl 1425.68299） 全文： 内政部
Oguztüzün，H。 一阶逻辑片段，足以实现观测等价。 （英语） Zbl 0819.68127号 Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 278-292 (1992). 审核人：N.Curteanu（伊阿什） MSC公司：68立方英尺 68T27型 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Oguztüzün}，莱克特。注释计算。科学。626278--292（1992年；Zbl 0819.68127）
罗宾·米尔纳 通信系统的微积分。 （英语） Zbl 0452.68027号 计算机科学课堂讲稿, 92. 柏林-海德堡-纽约：斯普林格-弗拉格。六、 171 p.21.50马克；$12.70 (1980).MSC公司：68N25号 68-02 PDF格式BibTeX公司 XML格式