莫哈利克,斯瓦鲁普;伊戈尔·瓦卢凯维奇 分布式游戏。 (英语) Zbl 1205.68089号 Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 338-351 (2003). 摘要:我们提出了分布式游戏的概念,作为一个框架来形式化和解决分布式合成问题。一般来说,解决分布式游戏的问题是不可判定的。我们给出了两个定理,可以简化并可能解决一些分布式游戏。我们展示了如何将文献中发现的几种分布式合成方法形式化并在所建议的环境中解决。关于整个系列,请参见[兹比尔1029.00064]. 引用于21文件 MSC公司: 64岁以下 分布式系统 91A43型 涉及图形的游戏 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohalik}和\textit{I.Walukiewicz},莱克特。注释计算。科学。2914、338--351(2003年;Zbl 1205.68089) 全文: DOI程序