摘要
摘要
公元94年 时间自动机理论 TCS（牵引力控制系统） 1994 126 2 183 235 10.1016/0304-3975(94)90010-8 谷歌学者 
数字图书馆 
BDL04型 Behrmann G、David A、Larsen KG（2004）《Uppaal教程》。 In：实时系统设计的形式化方法，LNCS第3185卷。 柏林-海德堡施普林格-弗拉格出版社，第200–236页 谷歌学者 BJLY98型 Bengtsson J，Jonsson B，Lilius J，Yi W（1998），定时系统的部分降阶。 收录于：LNCS第1466卷，Sangiorgi D，de Simone R（eds）CONCUR。 柏林-海德堡施普林格-弗拉格出版社，第485-500页 谷歌学者 银行79 分布式同步和规则性 计算网络 1979 三 36 43 谷歌学者 88行 分布式系统的延迟相关设计 IEEE跨软件工程 1988 14 8 1229 1237 10.1109/32.7630 谷歌学者 数字图书馆 BP99型 Bouyer P，Petit A（1999）时间自动机的分解与合成。 收录人：Wiedermann J、van Emde Boas P、Nielsen M（eds）ICALP，LNCS第1644卷。 柏林-海德堡施普林格-弗拉格出版社，第210–219页 谷歌学者 BS00标准 紧迫性的代数框架 Inf计算 2000 163 172 202 2006年10月10日/inco.2000.2999 谷歌学者 数字图书馆 CJ99型 Comon H，Jurski Y（1999）《时间自动机与实数理论》。 收录：Baeten JCM，Mauw S（eds）CONCUR，LNCS第1664卷。 柏林-海德堡施普林格-弗拉格出版社，第242-257页 谷歌学者 CM88型 并行程序设计——基础 1988 美国 艾迪森维斯理 谷歌学者 数字图书馆 队列00 Cohen E（2000）分离与还原。 收录：Backhouse RC，Oliveira JN（eds）《程序构造数学》，LNCS第1837卷。 斯普林格·弗拉格，柏林-海德堡，第45-59页 谷歌学者 CSCBM09公司 Chaouch-Saad M，Charron-Bost B，Merz S（2009）基于圆的分布式算法验证的简化定理。 收录于：Bournez O，Potapov I（eds）Reachability problems，LNCS第5797卷。 斯普林格·弗拉格，柏林-海德堡，第93–106页 谷歌学者 大横琴+08 时间自动机模式 IEEE Trans软件工程 2008 34 6 844 859 10.1109/TSE.2008.52 谷歌学者 数字图书馆 丹麦FW10 Dräger K，Kupriyanov A，Finkbeiner B，Wehrheim H（2010）Slab:无限状态并发系统的认证模型检查器。 In:Esparza J，Majumdar R（eds）TACAS，LNCS第6015卷，第271-274页 谷歌学者 EF82（EF82） 将分布式程序分解为通信闭合层 科学计算程序 1982 2 155 173 10.1016/0167-6423(83)90013-8 谷歌学者 交叉引用 
HP07型 Haakansson J，Pettersson P（2007），实时组件验证的部分降阶。 收录于：Raskin J.-F，Thiagarajan PS（eds）FORMATS，LNCS第4763卷。 柏林-海德堡施普林格-弗拉格出版社，第211-226页 谷歌学者 HSLL97型 Havelund K，Skou A，Larsen KG，Lund K（1997）音频/视频协议的形式化建模和分析：使用uppaal的工业案例研究。 包含：RTSS。 IEEE计算机学会，第2-13页 谷歌学者 1994年1月 Janssen W（1994）并行系统的分层设计。 特温特大学博士论文 谷歌学者 JPXZ94型 Janssen W，Poel M，Xu Q，Zwiers J（1994）实时分布式进程的分层。 收录：Langmaack H，de Roever WP，Vytopil J（编辑）FTRTFT，LNCS第863卷。 柏林-海德堡施普林格-弗拉格出版社，第393-417页 谷歌学者 92韩元 Kushilevitz E，Rabin MO（1992），重新审视随机互斥算法。 输入：PODC。 ACM出版社，第275-283页 谷歌学者 LNZ05型 时间自动机时钟爆炸问题的部分序语义方法 Theor计算机科学 2005 345 27 59 2016年10月10日/j.tcs.2005.07.023 谷歌学者 数字图书馆 LSW96型 Larsen KG、Steffen B和Weise C（1996）重温了Fischer的协议：使用模态约束的简单证明。 In:Alur R，Henzinger TA，Sontag ED（eds）Hybrid systems，LNCS第1066卷。 柏林-海德堡施普林格-弗拉格出版社，第604-615页 谷歌学者 89百万 通信和并发 1986 美国 普伦蒂斯大厅 谷歌学者 最小99 Minea M（1999）时间自动机模型检查的部分降阶。 在：Baeten JCM，Mauw S（eds）CONCUR，LNCS第1664卷。 柏林-海德堡施普林格-弗拉格出版社，第431-436页 谷歌学者 12兆瓦 Muniz M、Westphal B、Podelski A（2012）《活动不相交的时间自动机》。 收录于：Jurdzinski M，Nickovic D（eds）FORMATS，LNCS第7595卷。 柏林-海德堡施普林格-弗拉格出版社，第188-203页 谷歌学者 外径08 实时系统形式化规范和自动验证 2008 剑桥 剑桥大学出版社 10.1017/CBO9780511619953 谷歌学者 操作系统10 Olderog E.-R，Swaminathan M（2010），时间自动机的分层合成。 收录于：Chatterjee K，Henzinger TA（eds）FORMATS，LNCS第6246卷。 柏林-海德堡施普林格-弗拉格出版社，第228-242页 谷歌学者 操作系统13 Olderog E.-R，Swaminathan M（2013），数据丰富的实时系统的结构转换。 收录：Johnsen EB，Petre L（eds）iFM，LNCS第7940卷。 施普林格出版社，柏林-海德堡，第378-393页 谷歌学者 2009年夏季 Peter H.-J，Mattmüller R（2009），基于组件的定时控制器综合抽象细化。 包含：RTSS。 IEEE计算机学会，第364–374页 谷歌学者 SdR94系列 分布式算法的顺序推理原理 表单Asp计算 1994 6 6 716 737 2007年10月10日/BF03259394 谷歌学者 数字图书馆 SK14a公司 Sharma A，Katoen J.-P（2014）抽象概率自动机的分层约简。 输入：ACSD。 IEEE计算机协会（即将推出） 谷歌学者 库存14b Sharma A，Katoen J.-P（2014）模态规范理论的分层简化。 收录人：Fiadeiro JL、Liu Z、Xue J（编辑）FACS，LNCS第8348卷。 柏林-海德堡施普林格-弗拉格 谷歌学者 库存14b 随机分布式算法的分层推理 表单Asp计算 2012 24 477 496 2007年10月7日/00165-012-0231-x 谷歌学者 数字图书馆
建议
用于嵌套数据并行的数据平坦化 PPoPP’13：第18届ACM SIGPLAN并行编程原理与实践研讨会会议记录 数据并行已被证明是某类并行应用程序高级编程的一种有效技术，但它并不适合于不规则的并行计算。 Blelloch等人提出 嵌套数据并行 （NDP）作为。。。
