马修·科林森;大卫·皮姆;克里斯·托夫茨 “资源和过程的演算和逻辑”及其结果的勘误表。 (英语) Zbl 1139.68387号 正式Asp。计算。 19,第4期,551-554(2007).MSC公司:第68季度85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,正式Asp。计算。19,第4号,551--554(2007;Zbl 1139.68387) 全文: 内政部
大卫·皮姆;克里斯·托夫茨 资源和过程的演算和逻辑。 (英语) Zbl 1111.68086号 正式Asp。计算。 18,第4期,495-517(2006); 勘误表同上19,第4号,551-554(2007年)。MSC公司:第68季度85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts},正式Asp。计算。18,第4号,495--517(2006;Zbl 1111.68086) 全文: 内政部
托夫茨,C。 进程代数中概率分布的符号方法。 (英语) Zbl 1013.68132号 正式Asp。计算。 12,第5期,392-415(2000).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tofts},正式Asp。计算。12,第5号,392--415(2000;Zbl 1013.68132) 全文: 内政部
克里斯·托夫茨 具有概率、优先级和时间的流程。 (英语) Zbl 0820.68072号 正式Asp。计算。 6,第5期,536-564(1994).MSC公司:68问题55 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tofts},正式Asp。计算。6,第5号,536--564(1994;Zbl 0820.68072) 全文: 内政部