文件大小：0.52 MB 13页
对称合成
作者
-
部分： 体积： 第37届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2018-02-12
文件
文件标识符
引用为 获取BibTex
摘要
关键词
反应合成 对称
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
达娜·安格鲁因。 处理器网络中的局部和全局属性（扩展抽象）。 第十二届ACM计算机理论研讨会（STOC），第82-93页，1980年。 
-
保罗·C·阿蒂和E·艾伦·爱默生。 具有许多类似过程的并发系统的合成。 ACM事务处理。 程序。 语言系统。， 20(1):51-115, 1998. 网址： http://dx.doi.org/10.1145/271510.271519 . -
Ashok K.Chandra、Dexter Kozen和Larry J.Stockmeyer。 交替。 美国医学杂志，28（1）：114-1331981年。
-
E.M.克拉克、奥尔娜·格伦伯格和多伦·贝利德。 模型检查。 麻省理工学院出版社，1999年。
-
西蒙·科恩（Shimon Cohen）、丹尼尔·莱曼（Daniel J.Lehmann）和阿米尔·普努利（Amir Pnueli）。 分布式系统中互斥问题的对称和经济解决方案。 西奥。 计算。 科学。， 34:215-225, 1984.
-
吕迪格·埃勒斯。 对称高效合成。 萨尔州大学博士论文，2013年。 网址： http://scidok.sulb.uni-saarland.de/volltexte/2013/5607/ . -
吕迪格·埃勒斯和伯恩德·芬克贝纳。 对称合成。 ArXiV/CoRR，1710.05633，2017年。 本文的完整版本。
-
E.艾伦·爱默生（E.Allen Emerson）和杰·斯里尼瓦桑（Jai Srinivasan）。 对许多过程进行推理的可判定的时间逻辑。 过程中。 PODC，第233-246页，1990年。
-
Bernd Finkbeiner和Sven Schewe。 均匀分布合成。 过程中。 LICS，第321-330页，2005年。
-
Jörg Flum、Erich Grädel和Thomas Wilke，编辑。 《逻辑与自动化：历史与展望》（纪念沃尔夫冈·托马斯），《逻辑与游戏文本》第2卷。 阿姆斯特丹大学出版社，2008年。
-
Swen Jacobs和Roderick Bloem。 参数化合成。 《计算机科学中的逻辑方法》，10（1），2014年。 网址： http://dx.doi.org/10.2168/LMCS-10 (1:12)2014 . -
拉尔夫·约翰逊（Ralph E.Johnson）和弗雷德·施耐德（Fred B.Schneider）。 分布式系统中的对称性和相似性。 过程中。 PODC，第13-22页。 ACM，1985年。
-
埃文格洛斯·克拉纳基斯。 受邀演讲：匿名网络中的对称性和可计算性。 Nicola Santoro和Paul G.Spirakis，编辑，Proc。 SIROCCO，第1-16页。 Carleton Scientific，1996年。
-
Orna Kupferman和Moshe Y.Vardi。 信息不完整的合成。 过程中。 国际刑事法庭，1997年。
-
Orna Kupferman和Moshe Y.Vardi。 微积分综合。 过程中。 MFCS，第497-507页，2000年。
-
Orna Kupferman和Moshe Y.Vardi。 合成分布式系统。 2001年7月，第16届IEEE计算机科学逻辑年会（LICS 2001）。
-
Orna Kupferman和Moshe Y.Vardi。 不安全的决策程序。 在FOCS中，第531-542页。 IEEE，2005年。
-
丹尼尔·莱曼（Daniel J.Lehmann）和迈克尔·奥·拉宾（Michael O.Rabin），《自由选择的优势：餐饮哲学家问题的对称和完全分布式解决方案》。 过程中。 POPL，1981年。
-
阿米尔·普努利。 程序的时间逻辑。 在FOCS中，第46-57页。 IEEE，1977年。
-
阿米尔·普努利和罗尼·罗斯纳。 关于异步无功模块的综合。 在Giorgio Ausiello、Mariangiola Dezani-Ciancaglini和Simona Ronchi Della Rocca，ICALP编辑，《计算机科学讲义》第372卷，第652-671页。 施普林格，1989年。
-
阿米尔·普努埃利和罗尼·罗斯纳。 分布式反应系统很难合成。 FOCS第二卷，第746-757页。 IEEE，1990年。
-
迈克尔·拉宾（Michael O.Rabin），《无限对象上的自动机与教会问题》（Automata on Infinite Objects and Church’s Problem）。 美国数学学会，1972年。
-
Desh Ranjan、Richard Chang和Juris Hartmanis。 有空间限制的计算：查看和新的分离结果。 西奥。 计算。 科学。， 80(2):289-302, 1991. 网址： http://dx.doi.org/10.1016/0304-3975 （91）90391-E . -
Sven Schewe和Bernd Finkbeiner。 有限合成。 ATVA编辑Kedar S.Namjoshi、Tomohiro Yoneda、Teruo Higashino和Yoshio Okamura，《计算机科学讲义》第4762卷，第474-488页。 施普林格，2007年。
-
皮埃尔·沃尔珀。 从时序逻辑规范合成通信过程。 斯坦福大学博士论文，1982年。
-
Masafumi Yamashita和Tiko Kameda。 匿名网络上的计算。 PODC，第117-130页，1988年。