罗伯托·戈里埃里;克里斯蒂安·维萨里 并发理论简介。过渡系统和CCS。 (英语) Zbl 1333.68001号 理论计算机科学课文。EATCS系列查姆:施普林格(ISBN 978-3-319-21490-0/hbk;978-3-3169-21491-7/电子书)。xi,第334页。(2015). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:68-01年 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}和\textit{C.Versari},并发理论简介。过渡系统和CCS。查姆:斯普林格(2015;Zbl 1333.68001) 全文: 内政部
伦辛,阿伦德;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007).MSC公司:68问题85 68问题55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
多纳泰利,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) 全文: 内政部