Moitra, Abha Automatic construction of CSP programs from sequential non-deterministic programs. (English) Zbl 0567.68015 Sci. Comput. Program. 5, 277-307 (1985). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{A. Moitra}, Sci. Comput. Program. 5, 277--307 (1985; Zbl 0567.68015) Full Text: DOI Link
Joseph, Mathai; Moitra, Abha Fault tolerance in communicating processes. (English) Zbl 0533.68025 Foundations of software technology and theoretical computer science, 2nd Conf., Bangalore/India 1982, 234-255 (1982). MSC: 68N25 68Q60 PDFBibTeX XML