Mizuno, Masaaki A structured approach for developing concurrent programs in Java. (English) Zbl 0917.68040 Inf. Process. Lett. 69, No. 5, 233-238 (1999). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Mizuno}, Inf. Process. Lett. 69, No. 5, 233--238 (1999; Zbl 0917.68040) Full Text: DOI
Mizuno, Masaaki; Nesterenko, Mikhail A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. (English) Zbl 0925.68203 Inf. Process. Lett. 66, No. 6, 285-290 (1998). MSC: 68W15 PDFBibTeX XMLCite \textit{M. Mizuno} and \textit{M. Nesterenko}, Inf. Process. Lett. 66, No. 6, 285--290 (1998; Zbl 0925.68203) Full Text: DOI
Neilsen, Mitchell N.; Mizuno, Masaaki Erratum to “Nondominated \(k\)-coteries for multiple mutual exclusion”. (English) Zbl 1336.68281 Inf. Process. Lett. 60, No. 6, 319 (1997). MSC: 68W15 68M15 PDFBibTeX XMLCite \textit{M. N. Neilsen} and \textit{M. Mizuno}, Inf. Process. Lett. 60, No. 6, 319 (1997; Zbl 1336.68281) Full Text: DOI
Neilsen, Mitchell L.; Mizuno, Masaaki Nondominated \(k\)-coteries for multiple mutual exclusion. (English) Zbl 0810.68082 Inf. Process. Lett. 50, No. 5, 247-252 (1994); erratum ibid. 60, No. 6, 319 (1997). MSC: 68W15 68M15 PDFBibTeX XMLCite \textit{M. L. Neilsen} and \textit{M. Mizuno}, Inf. Process. Lett. 50, No. 5, 247--252 (1994; Zbl 0810.68082) Full Text: DOI