O’Hallaron, David R.; Reynolds, Paul F. jun. A generalized deadlock predicate. (English) Zbl 0608.68017 Inf. Process. Lett. 23, 181-188 (1986). MSC: 68N25 PDFBibTeX XMLCite \textit{D. R. O'Hallaron} and \textit{P. F. Reynolds jun.}, Inf. Process. Lett. 23, 181--188 (1986; Zbl 0608.68017) Full Text: DOI
Nepejvoda, N. N. Semantics of algorithmic languages. (English) Zbl 0554.68006 J. Sov. Math. 25, 1558-1606 (1984). MSC: 68-02 68Q60 68Q55 PDFBibTeX XMLCite \textit{N. N. Nepejvoda}, J. Sov. Math. 25, 1558--1606 (1984; Zbl 0554.68006) Full Text: DOI
Elrad, Tzilla; Francez, Nissim A weakest precondition semantics for communicating processes. (English) Zbl 0532.68035 Theor. Comput. Sci. 29, 231-250 (1984). MSC: 68N25 PDFBibTeX XMLCite \textit{T. Elrad} and \textit{N. Francez}, Theor. Comput. Sci. 29, 231--250 (1984; Zbl 0532.68035) Full Text: DOI
Sifakis, Joseph A unified approach for studying the properties of transition systems. (English) Zbl 0478.68056 Theor. Comput. Sci. 18, 227-258 (1982). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. Sifakis}, Theor. Comput. Sci. 18, 227--258 (1982; Zbl 0478.68056) Full Text: DOI
Kwong, Y. S. Livelocks in parallel programs. I: Basic concepts and classification. (English) Zbl 0472.68009 Int. J. Comput. Math. 10, 121-135 (1981). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{Y. S. Kwong}, Int. J. Comput. Math. 10, 121--135 (1981; Zbl 0472.68009) Full Text: DOI
Tchuente, Maurice Sur l’elimination itérative des situations de blocage dans un système. (French) Zbl 0429.68038 RAIRO, Inf. Théor. 14, 57-66 (1980). MSC: 68N25 PDFBibTeX XMLCite \textit{M. Tchuente}, RAIRO, Inf. Théor. 14, 57--66 (1980; Zbl 0429.68038) Full Text: EuDML
van Lamsweerde, Axel; Sintzoff, Michel Formal derivation of strongly correct concurrent programs. (English) Zbl 0389.68012 Acta Inf. 12, 1-31 (1979). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{A. van Lamsweerde} and \textit{M. Sintzoff}, Acta Inf. 12, 1--31 (1979; Zbl 0389.68012) Full Text: DOI