编辑配置文件（在新选项卡中打开） 弗朗西斯科·西维尔·巴博特 合著者距离 作者ID： 巴博特·弗朗西斯科·泽维尔 发布日期： 弗朗西斯科·巴博特;弗朗西斯科·西维尔·巴博特 编入索引的文档： 4出版物自2001年起 合著者： 3位合著者具有4联合出版物 9位合作作者 合著者 0 单作者的 4 米克尔·伯特兰 4 气候，八月 1 米克尔·尼古拉 系列 1 信息学报 领域 4 计算机科学（68至XX） 1 数值分析（65-XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用10中的次2文件 引用人▼ 年份▼ 分布式程序等价推理的输入/输出语义。 Zbl 1272.68099号 米克尔·伯特兰;弗朗西斯科·西维尔·巴博特;气候，八月 6 2005 命令式并发程序中引入和消除通信和并行性。 Zbl 0997.68513号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月;米奎尔·尼科洛 2 2001 分布式系统模型的形式化通信消除和序列化等价证明。 Zbl 1360.68471号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月 1 2014 通过程序重写实现分布式系统的形式序列化。 Zbl 1278.68213号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月 1 2007 分布式系统模型的形式化通信消除和序列化等价证明。 Zbl 1360.68471号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月 1 2014 通过程序重写实现分布式系统的形式序列化。 Zbl 1278.68213号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月 1 2007 分布式程序等价推理的输入/输出语义。 Zbl 1272.68099号 米克尔·伯特兰;弗朗西斯科·西维尔·巴博特;气候，八月 6 2005 命令式并发程序中引入和消除通信和并行性。 Zbl 0997.68513号 米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月;米克尔·尼古拉 2 2001 3位作者引用 2 弗朗西斯科·西维尔·巴博特 2 米克尔·伯特兰 2 气候，八月 连载1篇 1 信息学报 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文