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

• Formal methods for open object-based distributed systems