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

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