文件大小：2.46 MB 13页
非循环体系结构的分布式综合
作者
-
部分： 体积： 第34届软件技术与理论计算机科学基础国际会议（FSTTCS 2014）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2014-12-12
文件
文件标识符
引用为 获取BibTex
摘要
关键词
分布式合成 分布式控制 因果记忆
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
A.Arnold、A.Vincent和I.Walukiewicz。 具有部分观测的控制器合成游戏。 理论计算机科学，303（1）：7-342003。 
-
朱利安·布拉德菲尔德和科林·斯特林。 模态微元。 在P.Blackburn、J.van Benthem和F.Wolter编辑的《模态逻辑手册》中，第721-756页。 爱思唯尔，2006年。
-
Bernd Finkbeiner和Ernst-Rüdiger Olderog。 Petri游戏：具有因果记忆的分布式系统的合成。 程序中。 GandALF，EPTCS，第217-230页，2014年。
-
Bernd Finkbeiner和Sven Schewe。 均匀分布合成。 在LICS中，第321-330页，2005年。
-
保罗·加斯丁（Paul Gastin）、本杰明·勒曼（Benjamin Lerman）和马克·泽顿（Marc Zeitoun）。 具有因果记忆的分布式游戏对于串联系统是可判定的。 在FSTTCS中，LNCS第3328卷，第275-286页，2004年。
-
保罗·加斯丁（Paul Gastin）和纳塔莉·斯兹纳杰德（Nathalie Sznajder）。 异步分布式系统的公平综合。 ACM计算逻辑学报，2013年。
-
布莱斯·基内斯特（Blaise Genest）、雨果·金伯特（Hugo Gimbert）、安卡·穆斯科尔（Anca Muscholl）和伊戈尔·瓦卢基维奇（Igor Walukiewicz）。 树结构上的异步游戏。 2013年ICALP会议记录。
-
苏珊·格拉芙（Susanne Graf）、多伦·贝利德（Doron Peled）和索菲·昆顿（Sophie Quinton）。 通过模型检查实现分布式控制。 系统设计中的形式方法，40（2）：263-2812012。
-
朱利安·古铁雷斯和格林·温斯克。 并发博弈的Borel确定性。 2013年CONCUR’13会议记录。
-
O.Kupferman和M.Y.Vardi。 合成分布式系统。 LICS，2001年。
-
P.Madhusudan和P.S.Thiagarajan。 本地规范的分布式控制和合成。 在ICALP’01中，LNCS第2076卷，第396-407页。 斯普林格，2001年。
-
P.Madhusudan、P.S.Thiagarajan和S.Yang。 连接通信过程的MSO理论。 在FSTTCS中，LNCS第3821卷，第201-212页，2005年。
-
保罗·安德烈·梅利埃。 异步游戏2：纯真的并发。 TCS，358（2-3）：200-2282006年。
-
Madhavan Mukund和Milind A.Sohoni。 跟踪分布式系统中的最新消息。 分布式计算，10（3）：137-1481997。
-
安卡·穆斯科尔和斯文·舍韦。 分布式合成的无限可判定性和有限的缺失知识。 2013年MFCS会议记录。
-
A.Pnueli和R.Rosner。 分布式反应系统很难合成。 在第31届IEEE计算机科学基础研讨会（FOCS 1990），第746-7571990页。
-
P.J.G.Ramadge和W.M.Wonham。 离散事件系统的控制。 IEEE会议录，77（2）：81-981989。
-
伊戈尔·瓦卢基维奇（Igor Walukiewicz）。 下推过程：游戏和模型检查。 信息与计算，164（2）：234-2632001。
-
W.齐埃隆卡。 关于有限异步自动机的注释。 RAIRO-理论信息学与应用，21:99-1351987。