Formal methods for open object-based distributed systems

• 开放式基于对象分布式系统的正式方法