Lowe, Gavin Discovering and correcting a deadlock in a channel implementation. (English) Zbl 1425.68297 Formal Asp. Comput. 31, No. 4, 411-419 (2019). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{G. Lowe}, Formal Asp. Comput. 31, No. 4, 411--419 (2019; Zbl 1425.68297) Full Text: DOI
Hennessy, M.; Lin, H. Proof systems for message-passing process algebras. (English) Zbl 0857.68040 Formal Asp. Comput. 8, No. 4, 379-407 (1996). MSC: 68Q05 PDFBibTeX XMLCite \textit{M. Hennessy} and \textit{H. Lin}, Formal Asp. Comput. 8, No. 4, 379--407 (1996; Zbl 0857.68040) Full Text: DOI