Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan A model and temporal proof system for networks of processes. (English) Zbl 0598.68025 Distrib. Comput. 1, 7-25 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{V. Nguyen} et al., Distrib. Comput. 1, 7--25 (1986; Zbl 0598.68025) Full Text: DOI
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan Behavior: A temporal approach to process modelling. (English) Zbl 0606.68022 Logics of programs, Proc. Conf., Brooklyn/N.Y. 1985, Lect. Notes Comput. Sci. 193, 237-254 (1985). MSC: 68N25 PDF BibTeX XML