Lubachevsky, B. D. A verifier for compact parallel coordination programs. (English) Zbl 0558.68014 Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164, 326-340 (1984). MSC: 68Q60 68N25 PDFBibTeX XML
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