Arrowsmith, Beth; McMillin, Bruce CCSP: A formal system for distributed program debugging. (English. Russian original) Zbl 0925.68074 Program. Comput. Softw. 21, No. 1, 45-50 (1995); translation from Programmirovanie 1995, No. 1, 63-70 (1995). Cited in 1 Document MSC: 68N01 General topics in the theory of software Software:CCSP PDFBibTeX XMLCite \textit{B. Arrowsmith} and \textit{B. McMillin}, Program. Comput. Softw. 21, No. 1, 45--50 (1995; Zbl 0925.68074); translation from Programmirovanie 1995, No. 1, 63--70 (1995)