分布式对象计算环境下系统容错服务的动态行为描述

• Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment