伊米德·埃丁·查马；纳比尔·贝拉拉；赛杜尼，Djamel Eddine 业务流程时间约束的形式化建模和分析。 （英语） Zbl 1368.68044号 Bouabana-Tebbel，Thouraya（编辑）等人，《重用和系统集成的形式化》。查姆：施普林格（ISBN 978-3-319-16576-9/pbk；978-3-316-16577-6/电子书）。《智能系统与计算进展》346149-172（2015）。MSC公司：68英里11 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Chama}等人，高级情报。系统。计算。346149--172（2015年；Zbl 1368.68044） 全文： 内政部
休伯特·加拉维 重温过程计算中的序列构成。 （英语） Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84，第6期，742-762（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Garavel｝，J.日志。阿尔盖布。方法程序。84，第6号，742--762（2015；Zbl 1330.68201） 全文： 内政部
约翰·德里克；埃尔克·博伊滕 关系并发优化。三： 痕迹、部分关系和自动机。 （英语） Zbl 1342.68227号 正式Asp。计算。 26，第2期，407-432（2014）.MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，正式Asp。计算。26，第2号，407--432（2014；Zbl 1342.68227） 全文： 内政部
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯；张丽君 随机世界中的并发和组合。 （英语） Zbl 1287.68132号 Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，21-39（2010）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。注释计算。科学。6269，21-39（2010；Zbl 1287.68132） 全文： 内政部 哈尔
苏，李；霍华德·鲍曼；菲利普·巴纳德；布拉德·怀布尔 交互系统中注意力捕获和人类电生理的过程代数建模。 （英语） Zbl 1186.68323号 正式Asp。计算。 21，第6号，513-539（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人，正式Asp。计算。21，第61513-539号（2009年；兹bl 1186.68323） 全文： 内政部
休伯特·加拉维；格温·萨拉恩；温德林，塞尔韦 关于通信硬件进程的语义及其转换为LOTOS，以便使用CADP验证异步电路。 （英语） 兹比尔1160.68465 科学。计算。程序。 74，第3期，100-127（2009）.MSC公司：68问题85 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，科学。计算。程序。74，第3号，100-127（2009；Zbl 1160.68465） 全文： 内政部 链接
佩德罗·R·达吉尼奥。；Joost-Pieter卡托恩 随机系统理论。二： 进程代数。 （英语） 兹比尔1106.68073 Inf.计算。 203，第1期，39-74（2005）.MSC公司：68问题85 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen}，Inf.Compute。203，第1号，39--74（2005；Zbl 1106.68073） 全文： 内政部
米哈埃拉·西希雷亚努；拉杜·马特埃斯库 IEEE-1394串行总线（FireWire）链路层协议的验证：E-LOTOS实验。 （英语） 兹比尔1065.68596 国际期刊软件。技术工具。变压器。2，第1期，68-88（1998年）。MSC公司：99年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
乌富克·塞利坎；牧场克利夫兰 生成行为预订单的诊断信息。 （英语） Zbl 1448.68334号 分布计算。 9，第2期，61-75（1995）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Celikkan}和\textit{R.Cleaveland}，分布式计算。9，第2号，61--75（1995；Zbl 1448.68334） 全文： 内政部
多纳泰利，S。 叠加随机自动机：一类具有并行解和分布式状态空间的随机Petri网。 （英语） Zbl 0795.68141号 执行。评估。 18，第1期，21-36（1993）. 审核人：拉卡托斯（布达佩斯） MSC公司：65年第68季度 68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit｛S.Donatelli｝，执行评估。18，No.1，21--36（1993；Zbl 0795.68141） 全文： 内政部
克莱夫·拉格尔斯。（编辑） 标准中的形式化方法。BCS工作组的报告。 （英语） Zbl 0812.68052号 柏林等：Springer-Verlag。十一、 135页（1990年）。MSC公司：68-06 00B15号机组 68甲15 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{C.L.N.Ruggles}（编辑），标准中的形式方法。BCS工作组的报告。柏林等：Springer-Verlag（1990；Zbl 0812.68052）