Ludmila A.Cherkasova。;费林,亚历山大·S·。 同步并发进程:网络和代数方法。 (英语) 兹比尔0688.68057 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,佩雷斯拉夫·泽莱斯基/苏联1989年,Lect。注释计算。科学。363, 63-80 (1989). 审核人:H.保险丝 理学硕士:68问题85 68卢比99 93C55美元 08C99号 PDF格式BibTeX公司 XML格式
野村、东雄 抽象反馈系统的同态和同余。 (英语) Zbl 0497.93016号 Inf.控制 51, 20-44 (1981)。理学硕士:93B25型 08A30型 93B15号机组 08年60月 70年第68季度 06B10号 05C20号 93立方厘米10 93立方35 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{T.Nomura},信息控制51,20--44(1981;Zbl 0497.93016) 全文: 内政部