阿尔班·蓬塞;范德兹瓦格,马克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) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 结合程序和状态机。 (英语) Zbl 1008.68068号 J.日志。阿尔盖布。程序。 51,第2期,175-192(2002).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Log。阿尔盖布。程序。51,第2175-192号(2002年;兹bl 1008.68068) 全文: 内政部
阿尔班·蓬塞 带有单位指令运算符的程序代数。 (英语) Zbl 1008.68080号 J.日志。阿尔盖布。程序。 51,第2期,157-174(2002).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse},J.Log。阿尔盖布。程序。51,第2号,157--174(2002;Zbl 1008.68080) 全文: 内政部
J.F.格罗特。;A.Ponse。;Usenko,Y.S。 并行pCRL中的线性化。 (英语) Zbl 0988.68121号 J.日志。阿尔盖布。程序。 48,编号1-2,39-70(2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。阿尔盖布。程序。48,编号1--2,39-70(2001;Zbl 0988.68121) 全文: 内政部