机译:使用协调原子行为设计和实现可靠系统的框架:比较研究
exception handling; fault tolerance; dependable distributed systems;
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:协调原子动作作为实现分布式伽马计算的技术
机译:基于前向误差恢复的阻塞协调原子动作的实现
机译:可靠分布式系统的协调原子动作:概念,语义和验证手段中的当前状态
机译:用于设计和实现反应性系统的事务模型和平台。
机译:自我管理的网络物理系统中可靠决策过程的分散组成框架
机译:应用协调原子操作和可靠软件体系结构开发复杂系统
机译:使用协调原子动作设计可靠的分布式对象系统