编辑配置文件(在新选项卡中打开) 杰拉尔德·埃肯贝·恩贡迪 合著者距离 作者ID: ngondi.grard-ekembe公司 发布日期: 杰拉尔德·埃肯贝·恩贡迪;杰拉德·埃肯贝·恩贡迪 已编制索引的文档: 5出版物自2017年起 合著者: 3位合著者具有3联合出版物 103合著作者 合著者 2 单作者的 2 安德鲁·巴特菲尔德 2 瓦西里欧斯·库塔瓦斯 1 詹姆斯·C·P·伍德科克。 系列 1 理论计算机科学 1 计算的形式方面 字段 5 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用6中的次4文件 引用人▼ 年份▼ UTP-CSP中信道移动性的表示语义。 Zbl 1519.68160号 杰拉德·埃肯贝·恩贡迪 4 2021 将CCS转换为CSP,纠正强互模拟。 Zbl 1522.68368号 杰拉尔德·埃肯贝·恩贡迪;瓦西里欧斯·库塔瓦斯;安德鲁·巴特菲尔德 1 2021 带有延续的反应过程的UTP语义。 Zbl 1483.68087号 杰拉尔德·埃肯贝·恩贡迪;吉姆·伍德科克 1 2017 UTP-CSP中信道移动性的表示语义。 兹比尔1519.68160 杰拉德·埃肯贝·恩贡迪 4 2021 将CCS转换为CSP,纠正强互模拟。 Zbl 1522.68368号 杰拉尔德·埃肯贝·恩贡迪;瓦西里欧斯·库塔瓦斯;安德鲁·巴特菲尔德 1 2021 带有延续的反应过程的UTP语义。 Zbl 1483.68087号 杰拉尔德·埃肯贝·恩贡迪;吉姆·伍德科克 1 2017 3位作者引用 4 杰拉德·埃肯贝恩贡迪 2 安德鲁·巴特菲尔德 2 瓦西里欧斯·库塔瓦斯 2篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 在2个字段中引用 4 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文