@收款{zbMATH05668051，作者={Hooman，Jozef和van de Pol，Jaco}，Title={分布式数据空间体系结构的等效语义模型。}，BookTitle={组件和对象的形式化方法。第一届国际研讨会，FMCO 2002，荷兰莱顿，2002年11月5-8日。修改后的讲座}，国际标准图书编号={3-540-20303-6}，页码={182--201}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b14033}，关键词={68P15,68Q55}，zbMATH={5668051}，Zbl={1254.68108}}