Krzysztof R.阿普特。 更正了分布式终止算法的证明。 (英语) Zbl 0599.68017号 ACM事务处理。程序。语言系统。 8, 388-405 (1986).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},ACM事务。程序。语言系统。8388--405(1986年;Zbl 0599.68017) 全文: 内政部 链接
Krzysztof R.阿普特。;卡罗尔·德尔波特 while程序活性属性的语法指导分析。 (英语) Zbl 0591.68016号 Inf.控制 68, 223-253 (1986).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{C.Delport-Gallet},《信息控制》68,223--253(1986;Zbl 0591.68016) 全文: 内政部
Krysztof R.阿普特。;E.-R.奥尔德罗。 实现并行程序公平性假设的转换。 (英语) Zbl 0558.68015号 计算机科学的理论方面,Symp。,1984年,巴黎。票据计算。科学。166, 26-42 (1984).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式
Krzysztof R.阿普特。;卡罗尔·德尔波特 使用时态逻辑对间歇断言方法进行公理化(扩展抽象)。 (英语) Zbl 0522.68035号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。票据计算。科学。154, 15-27 (1983).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式