索菲·沃纳；卡斯滕·沃尔夫 通用时间属性的骨架抽象。 （英语） Zbl 1490.68142号 Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 186-207 (2021).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Wallner｝和\textit｛K.Wolf｝，Lect。注释计算。科学。12734，186-207（2021；Zbl 1490.68142） 全文： 内政部 arXiv公司
罗伯托·戈里埃里 具有无声移动的BPP网络的因果语义。 （英语） Zbl 1496.68224号 芬丹。通知。 180，第3号，179-249（2021）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，芬丹。通知。180，编号3，179--249（2021；Zbl 1496.68224） 全文： 内政部
罗伯托·戈里埃里 具有无声移动的有限状态机的团队等价性。 （英语） Zbl 1498.68184号 Inf.计算。 275，文章ID 104603，47 p.（2020）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}，信息计算。275，文章ID 104603，47 p.（2020；Zbl 1498.68184） 全文： 内政部 链接
安蒂·瓦尔马里 低于稳定性保持公平测试或CFFD的所有同余。 （英语） Zbl 1452.68128号 学报信息。 57，编号3-5，353-383（2020）. 审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}，《信息学报》第57期，第3--5、353--383号（2020年；Zbl 1452.68128） 全文： 内政部
菲利波·邦奇；达尼埃拉·佩特里桑；Damien Pous；朱里安·罗特 关于造币的概述。 （英语） Zbl 1371.68186号 学报信息。 54，第2期，127-190（2017）. 审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，《信息学报》54，第2期，127--190（2017年；Zbl 1371.68186） 全文： 内政部
马里奥·贝尼维德斯。 PDL中的类似程序和逻辑等价程序。 （英语） Zbl 1335.68045号 Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305，5-18，仅电子版（2014）。MSC公司：68号30 03B45 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.贝内维提斯}，电子。注释Theor。计算。科学。305、5--18（2014年；Zbl 1335.68045） 全文： 内政部
卢卡·埃特罗；安娜·英格尔夫斯多蒂；吉尔·斯尔巴 双相似性算法。 （英语） Zbl 1285.68101号 Sangiorgi，Davide（编辑）等，互模拟和共创高级主题。剑桥：剑桥大学出版社（ISBN 978-1-107-00497-9/hbk）。《剑桥理论计算机科学丛书》52，100-172（2012）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛L.Aceto｝等人，Camb。拖拉机Theor。计算。科学。52、100--172（2012年；Zbl 1285.68101） 全文： 内政部
大卫·桑吉奥吉 互模拟和共推简介。 （英语） Zbl 1252.68008号 剑桥：剑桥大学出版社（ISBN 978-1-107-00363-7/hbk；978-1-139-15378-2/ebook）。xii，第247页。（2012年）。 审核人：佩德罗·桑切斯·特拉夫（科尔多瓦） MSC公司：68-01 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}，互模拟和共约简介。剑桥：剑桥大学出版社（2012；Zbl 1252.68008） 全文： 内政部
斯文·施奈德；乌韦州内斯特曼 使用过程计算对混合系统进行严格离散。 （英语） Zbl 1348.68109号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919301-316（2011）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{U.Nestmann}，莱克特。注释计算。科学。6919301-316（2011年；兹bl 1348.68109） 全文： 内政部
斯特凡诺·卡桑吉安；安娜·拉布拉 Conduché属性和基于树的类别。 （英语） Zbl 1208.18006号 J.纯应用。代数 214，第3期，221-235（2010）.MSC公司：18D20天 第68季度55 18 C50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Kasangian}和\textit{A.Labela}，J.Pure Appl。代数214，第3期，221--235（2010；Zbl 1208.18006） 全文： 内政部
蒂尔·莫萨科夫斯基；马库斯·罗根巴赫；卢茨·施罗德 CoCasl公司工作中-建模过程代数。 （英语） Zbl 1270.68195号 Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，206-220（2003）。MSC公司：68问题65 68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人，《电子》。注释Theor。计算。科学。82，编号1206-220（2003年；兹bl 1270.68195） 全文： 链接
拉法西斯，圣菲；约翰·马林斯 基于互模拟的非确定性允许干扰及其在密码协议分析中的应用。 （英语） Zbl 1268.68129号 Harland，James（编辑），CATS'02。计算：澳大利亚理论研讨会。第八届研讨会会议记录，2002年1月28日至2月1日，澳大利亚莫纳什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记61154-177（2002）。MSC公司：68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lafrance}和\textit{J.Mullins}，电子。注释Theor。计算。科学。61、154--177（2002年；Zbl 1268.68129） 全文： 内政部
Ying，明生 过程演算中的拓扑。并行程序的近似正确性和无限进化。 （英语） Zbl 0971.68111号 纽约州纽约市：斯普林格。viii，第220页（2001年）。 审核人：Krassimir Atanassov（索非亚） MSC公司：68-02 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}，过程演算中的拓扑。并行程序的近似正确性和无限进化。纽约州纽约市：施普林格（2001；Zbl 0971.68111）
罗宾·米尔纳 通信和移动系统：（pi）演算。 （英语） Zbl 0942.68002号 剑桥：剑桥大学出版社。xii，161 p.（1999）。 审核人：马丁·霍夫曼（爱丁堡） MSC公司：68-02 68问题85 03-02 2010年第68季度 60年第68季度 第68季度55 第68季度第42季度 68号30 68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}，《通信和移动系统：（pi）演算》。剑桥：剑桥大学出版社（1999；Zbl 0942.68002）
克里斯蒂安·乌古里亚努（Christian Ungureanu）；本杰明·戈德伯格 分布式内存管理的形式化模型。 （英语） 兹比尔1369.68160 Berman，A.Michael（编辑），第二届ACM SIGPLAN函数式编程国际会议论文集，1997年6月9日至11日，荷兰阿姆斯特丹ICFP’97。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-918-1）。ACM SIGPLAN通知32，第8号，280-291（1997）。MSC公司：68号30 64岁以下 68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Ungureanu｝和\textit｛B.Goldberg｝，载于：第二届ACM SIGPLAN功能编程国际会议论文集，ICFP’97，荷兰阿姆斯特丹，1997年6月9日至11日。纽约州纽约市：计算机协会（ACM）。280-291（1997年；Zbl 1369.68160） 全文： 内政部
大卫·桑吉奥吉 移动进程计算中的位置和交错语义。 （英语） 兹伯利0874.68115 西奥。计算。科学。 155，第1号，39-83（1996）.MSC公司：2010年第68季度 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi}，Theor。计算。科学。155，编号1，39--83（1996；Zbl 0874.68115） 全文： 内政部
巴顿，J.C.M。；J.A.伯格斯特拉。 具有抽象的离散时间过程代数。 （英语） Zbl 1504.68137号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 1-15 (1995).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，莱克特。注释计算。科学。965，1-15（1995年；Zbl 1504.68137） 全文： 内政部 链接
安德鲁·皮特斯（Andrew M.Pitts）。 递归定义域的共归纳原理。 （英语） Zbl 0795.68129号 西奥。计算。科学。 124，第2期，195-219（1994）.MSC公司：第68季度55 06B35号 PDF格式BibTeX公司 XML格式引用 \发短信给Theor，A.M.Pitts。计算。科学。124，第2号，195--219（1994；Zbl 0795.68129） 全文： 内政部
米兰达·莫布雷 一些CCS观测互模拟的财务逻辑。 （英语） Zbl 0779.68031号 信息处理。莱特。 42，第3期，161-165（1992）.MSC公司：2010年第68季度 第68季度55 03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Mowbray}，Inf.过程。莱特。42，第3号，161--165（1992；Zbl 0779.68031） 全文： 内政部
Jeremy Gunawardena 因果自动机。 （英语） Zbl 0765.68103号 西奥。计算。科学。 101，第2期，265-288（1992）. 审核人：J.Gunawardena先生 MSC公司：第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Gunawardena}，Theor。计算。科学。101，第2号，265--288（1992；Zbl 0765.68103） 全文： 内政部
卢卡·埃特罗；马修·轩尼诗 向有限进程代数中添加操作细化。 （英语） 兹比尔0786.68055 自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。510, 506-519 (1991).MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{M.Hennessy}，莱克特。注释计算。科学。510506--519（1991年；Zbl 0786.68055）
Jeremy Gunawardena 推导CCS中的因果关系。 （英语） Zbl 0770.68052号 软件技术和理论计算机科学基础。第九届会议，班加罗尔/印度，1989年，法律。注释计算。科学。405, 161-170 (1989).MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gunawardena}，莱克特。注释计算。科学。无，161--170（1989；Zbl 0770.68052）