Gurevich, I. M. Formal descriptional of network systems using a predicate language. (English. Russian original) Zbl 0632.94038 Autom. Control Comput. Sci. 20, No. 6, 46-53 (1986); translation from Avtom. Vychisl. Tekh. 20, No. 6, 52-58 (1986). MSC: 94C99 PDFBibTeX XMLCite \textit{I. M. Gurevich}, Autom. Control Comput. Sci. 20, No. 6, 46--53 (1986; Zbl 0632.94038); translation from Avtom. Vychisl. Tekh. 20, No. 6, 52--58 (1986)
Karpov, Yu. G. Formal description and verification of CCS-based protocols. (English. Russian original) Zbl 0623.68025 Autom. Control Comput. Sci. 20, No. 6, 16-25 (1986); translation from Avtom. Vychisl. Tekh. 20, No. 6, 21-30 (1986). MSC: 68N25 PDFBibTeX XMLCite \textit{Yu. G. Karpov}, Autom. Control Comput. Sci. 20, No. 6, 16--25 (1986; Zbl 0623.68025); translation from Avtom. Vychisl. Tekh. 20, No. 6, 21--30 (1986)