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). For the entire collection see Zbl 0533.00026. MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N25 Theory of operating systems Keywords:verifier; compact parallel coordination programs Citations:Zbl 0533.00026 PDFBibTeX XML