塞缪尔·希姆 通过护照进行流动控制。 (英语) Zbl 1165.68051号 Inf.计算。 207,第2期,171-193(2009).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Hym},信息计算。207,第2号,171--193(2009;Zbl 1165.68051) 全文: 内政部 哈尔
J.R.伯奇。;E.M.克拉克。;麦克米兰,K.L。;迪尔·D·L。;黄光裕。 符号模型检查:(10^{20})状态及以上。 (英语) Zbl 0753.68066号 Inf.计算。 98,第2期,142-170(1992).MSC公司:第68季度第60季度 2010年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Burch}等人,信息计算。98,第2号,142--170(1992;Zbl 0753.68066) 全文: 内政部
兰斯·克莱维兰;马修·轩尼诗 过程代数中的优先级。 (英语) 兹比尔0726.68053 Inf.计算。 87,No.1-2,58-77(1990). 审核人:G.Mauri(米兰) MSC公司:68问题55 2010年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy},Inf.Compute。87,编号1--2,58-77(1990;Zbl 0726.68053) 全文: 内政部
Kanellakis,巴黎C。;斯科特·斯莫尔卡。 CCS表达式、有限状态过程和三个等价问题。 (英语) 兹比尔0705.68063 Inf.计算。 86,No.1,43-68(1990).MSC公司:第68季度25 2005年第68季度 2010年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Kanellakis}和\textit{S.A.Smolka},Inf.Compute。86,编号1,43--68(1990;Zbl 0705.68063) 全文: 内政部