罗伯特·科尔文;布里杰什·多戈尔 一种证明锁自由的通用技术。 (英语) Zbl 1157.68024号 科学。计算。程序。 74,第3期,143-165(2009)。MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}和\textit{B.Dongol},科学。计算。程序。74,第3号,143--165(2009;Zbl 1157.68024) 全文: 内政部
德里克·库里(Derrick G.Kourie)。;谢尔盖·奥比耶德科夫;布鲁斯·沃森。;范德梅尔,院长 构造集合交点格的增量算法。 (英语) Zbl 1156.68056号 科学。计算。程序。 74,第3期,128-142(2009)。MSC公司:68周05 06B99号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Kourie}等人,科学。计算。程序。74,第3号,128--142(2009;Zbl 1156.68056) 全文: 内政部
休伯特·加拉维;格温·萨拉恩;温德林·塞维 关于通信硬件进程的语义及其转换为LOTOS,以便使用CADP验证异步电路。 (英语) Zbl 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) 全文: 内政部 链接
里克·埃舒伊斯 协调状态图语义。 (英语) Zbl 1171.68021号 科学。计算。程序。 74,第3期,65-99(2009)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Eshuis},科学。计算。程序。74,第3号,65--99(2009;Zbl 1171.68021) 全文: 内政部