伊利亚州卡斯特拉尼；马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 根据全球规范合成分布式转换系统。 （英语） Zbl 0956.68008号 Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19次会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1738, 219-231 (1999). 摘要：我们研究了从全局规范合成分布式实现的问题。特别是，我们描述了何时可以将全球过渡系统实现为本地过渡系统的同步产品。我们的工作扩展了这一领域的许多以前的研究，这些研究倾向于对规范做出强有力的假设——无论是在确定性方面还是在关于并发性的信息方面。我们还研究了更困难的问题，其中与规范相关的实现的正确性是以互模拟而不是同构的方式来表述的。作为重要的第一步，我们展示了当实现需要确定性时，如何在此设置中解决综合问题。关于整个系列，请参见[Zbl 0931.00044号]. 引用于5文件 MSC公司： 64岁以下 分布式系统 关键词：全球规范 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人，Lect。注释计算。科学。1738、219--231（1999年；Zbl 0956.68008）