Kim, Do-Hyung; Choe, Kwang-Moo Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model. (English) Zbl 0785.68016 Inf. Process. Lett. 43, No. 3, 165 (1992). MSC: 68N17 68Q25 PDFBibTeX XMLCite \textit{D.-H. Kim} and \textit{K.-M. Choe}, Inf. Process. Lett. 43, No. 3, 165 (1992; Zbl 0785.68016) Full Text: DOI
Kim, Do-Hyung; Choe, Kwang-Moo Yet another efficient backward execution algorithm in the AND/OR process model. (English) Zbl 0742.68008 Inf. Process. Lett. 40, No. 4, 201-211 (1991). MSC: 68N17 PDFBibTeX XMLCite \textit{D.-H. Kim} and \textit{K.-M. Choe}, Inf. Process. Lett. 40, No. 4, 201--211 (1991; Zbl 0742.68008) Full Text: DOI