Yu Karpov。G.公司。 沟通过程的一致性。 （英文） Zbl 0748.68016号 计算。Artif公司。智力。 11，第3期，241-252（1992）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov}，计算。Artif公司。智力。11，第3号，241--252（1992；Zbl 0748.68016）
Yu Karpov。G.公司。 并行信息处理系统的一致性。 （英语。俄文原件） Zbl 0683.68022号 Sov公司。J.计算。系统。科学。 26，第3期，91-97（1988）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年，第5期，179-186（1987）。MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov}，苏联。J.计算。系统。科学。26，第3号，91-97（1988；Zbl 0683.68022）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年，第5期，179--186（1987）
Yu Karpov。G.公司。 协议一致性的性质。 （英语。俄文原件） Zbl 0646.68021号 自动。控制计算。科学。 21，第5期，第18-21页（1987年）; Avtom翻译。维奇尔。泰克。1987年，第5期，38-40（1987）。MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov}，汽车。控制计算。科学。21,5号，18--21（1987；Zbl 0646.68021）；Avtom翻译。维奇尔。泰克。1987年，第5期，38--40（1987）
Yu Karpov。G.公司。 基于CCS的协议的形式化描述和验证。 （英语。俄文原件） Zbl 0623.68025号 自动。控制计算。科学。 20，第6号，16-25（1986）; Avtom翻译。维奇尔。泰克。20，编号6，21-30（1986年）。MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov}，汽车。控制计算。科学。20，第6号，第16-25条（1986；Zbl 0623.68025）；Avtom翻译。维奇尔。泰克。20，第6号，第21--30号（1986年）
Yu Karpov。G.公司。 过程的规范和分析方法。 （英语。俄文原件） Zbl 0616.68026号 自动。控制计算。科学。 20，第3号，1-9（1986）; Avtom翻译。维奇尔。泰克。1986年，第3期，3-10页（1986年）。MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov}，汽车。控制计算。科学。20，第3号，1-9（1986；Zbl 0616.68026）；Avtom翻译。维奇尔。泰克。1986年，第3期，第3--10期（1986年）