阿尔班·蓬塞;范德兹瓦格,马克B。 使用Belnap逻辑对ACP进行概括。 (英语) Zbl 1106.68075号 J.日志。阿尔盖布。程序。 70,第2期,222-235(2007).MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},J.Log。阿尔盖布。程序。70,第2号,222--235(2007;Zbl 1106.68075) 全文: 内政部
科拉迪尼,F。;沃格勒,W。 流水线异步系统的性能。 (英语) Zbl 1106.68072号 J.日志。阿尔盖布。程序。 70,第2期,201-221(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{W.Vogler},J.Log。阿尔盖布。程序。70,第2号,201--221(2007;Zbl 1106.68072) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 优先选择和协调条件。 (英语) Zbl 1106.68071号 J.日志。阿尔盖布。程序。 70,第2期,172-200(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.日志。阿尔盖布。程序。70,第2号,172--200(2007;Zbl 1106.68071) 全文: 内政部
巴顿,J.C.M。;Reniers,医学硕士。 过程代数中常数的重复。 (英语) Zbl 1106.68069号 J.日志。阿尔盖布。程序。 70,第2期,151-171(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{M.A.Reniers},J.Log。阿尔盖布。程序。70,第2号,151--171(2007;Zbl 1106.68069) 全文: 内政部 链接
罗伯特·阿马迪奥(Roberto M.Amadio)。 SL同步语言,重温。 (英语) Zbl 1106.68016号 J.日志。阿尔盖布。程序。 70,第2期,121-150(2007).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio},J.Log。阿尔盖布。程序。70,编号2121-150(2007年;Zbl 1106.68016) 全文: 内政部 哈尔
卢卡·埃特罗(编辑) 特刊:代数过程计算:前25年及以后。根据2005年8月1日至5日在意大利贝蒂诺罗举行的研讨会上所作的陈述而选出的论文。 (英语) Zbl 1127.68303号 J.日志。阿尔盖布。程序。70,第2期,119-238(2007年)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式