约翰·奥利里;杰弗里·布朗;卢克,韦恩 已验证将通信过程编译为时钟电路。 (英语) Zbl 0905.68038号 正式Asp。计算。 9,第5-6号,537-559(1997).MSC公司:第68页第20页 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.O'Leary}等人,《正式Asp》。计算。9,编号5--6537--559(1997;Zbl 0905.68038) 全文: DOI程序
Peter M.W.Knijnenburg。;Joost N.角。 原子化语句和并行选择组合的语义。 (英语) Zbl 0905.68086号 正式Asp。计算。 9,编号5-6,518-536(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.M.W.Knijnenburg}和\textit{J.N.Kok},正式Asp。计算。9,编号5--6,518--536(1997;Zbl 0905.68086) 全文: DOI程序
家长Viguroux,Catherine 验证归纳结构演算中的程序。 (英语) Zbl 0905.68092号 正式Asp。计算。 9,第5-6号,484-517(1997).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Parent-Vigouroux},正式Asp。计算。9,编号5--6484--517(1997;Zbl 0905.68092) 全文: DOI程序
回来,拉尔夫;吉姆·格兰迪;约阿金·冯·赖特 结构化计算证明。 (英语) Zbl 0905.68139号 正式Asp。计算。 9,第5-6号,469-483(1997).MSC公司:68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Back}等人,正式Asp。计算。9,编号5--6,469--483(1997;Zbl 0905.68139) 全文: DOI程序
维姆·赫塞林克。 命令式程序的机械证明理论。 (英语) Zbl 0905.68138号 正式Asp。计算。 9,编号5-6,448-468(1997).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。9,编号5--6,448--468(1997;Zbl 0905.68138) 全文: DOI程序