Lubachevsky, Boris D. An approach to automating the verification of compact parallel coordination programs. I. (English) Zbl 0522.68017 Acta Inf. 21, 125-169 (1984). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{B. D. Lubachevsky}, Acta Inf. 21, 125--169 (1984; Zbl 0522.68017) Full Text: DOI
Gottlieb, Allan; Lubachevsky, B. D.; Rudolph, Larry Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. (English) Zbl 0511.68012 ACM Trans. Program. Lang. Syst. 5, 164-189 (1983). MSC: 68N25 PDFBibTeX XMLCite \textit{A. Gottlieb} et al., ACM Trans. Program. Lang. Syst. 5, 164--189 (1983; Zbl 0511.68012) Full Text: DOI