LaBRI, ENSEIRB -University of Bordeaux-1, F-33405 Talence Cedex, France;
distributed systems; fault-tolerance; graph rewriting systems; local computations;
机译:具有容错能力的分层分布式系统建模
机译:分布式系统体系结构的可重用通信模型的正式规范和验证
机译:用于为分布式计算机系统选择平衡的容错技术组的方法
机译:分布式系统中容错的正式模型
机译:基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:分布式算法的形式化容错证明
机译:分布式数据处理(DDp)中容错的形式化技术