分布式 Objects 正 and 组件和系统 海外直订Formal 38th Distributed Systems 对象 Techniques for Ifip Components