布里杰什·多戈尔；伊恩·海耶斯。；彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 （英语） Zbl 1342.68060号 正式Asp。计算。 26，第3期，563-589（2014）. 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 03B70号 计算机科学中的逻辑 68问题55 计算理论中的语义学 关键词：远程反应式编程；目标导向的代理人；依赖/保证推理；实时程序；无功系统；基于间隔的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，《正式Asp》。计算。26，第3号，563--589（2014；Zbl 1342.68060） 全文： 内政部 链接 参考文献： [1] Burns A，Baxter G（2006）《系统结构中的时间段》，第4章。摘自：Besnard D、Gacek C、Jones CB（eds）可靠性结构：跨学科视角下的基于计算机的系统。伦敦施普林格，第74-88页 [2] 伯恩斯A.、海耶斯IJ。（2010）实时系统建模的时间段框架。实时系统45（1）：106-142·兹比尔1197.68032 ·doi:10.1007/s11241-010-9094-5 [3] Back R-JR，Petre L，Porres I（2000），将动作系统推广到混合系统。收件人：Joseph M（ed）FTRTFT。LNCS，第1926卷。柏林施普林格，第202-213页·Zbl 0986.68648号 [4] Chaochen Z，Ravn AP，Hansen MR（1993）混合实时系统的扩展持续时间演算。收录：Grossman等人[GNRR93]，第36-59页·Zbl 1069.68067号 [5] Dongol B，Hayes IJ（2012）使用时间段近似理想化实时规范。ECEASST 46:1-16（第十一届关键系统自动验证国际研讨会） [6] Dongol B，Hayes IJ（2012）从多尺度系统规范推导实时动作系统控制器。收件人：Gibbons，J，Nogueira P（eds）MPC。计算机科学课堂讲稿，第7342卷。柏林施普林格，第102-131页·兹比尔1358.68069 [7] Dongol B，Hayes IJ（2012），多时间段远程反应式程序的可靠性/保证推理。收录：Derrick J、Gnesi S、Latella D、Treharne H（eds）IFM。计算机科学讲稿，第7321卷。柏林施普林格，第39-53页·Zbl 0517.68032号 [8] Emerson EA（1990）《时序和模态逻辑》。收录于：van Leeuwen J（编辑）《理论计算机科学手册》，B.Elsevier science Publishers卷，阿姆斯特丹，第996-1072页·Zbl 0900.03030号 [9] Fritsch S、Senart A、Schmidt DC、Clarke S（2008）《汽车系统软件的定时自适应》。In:ICSE’08：第30届软件工程国际会议记录，美国纽约州纽约市ACM，纽约，第571-580页·Zbl 0517.68032号 [10] Gargantini A.，Morzenti A.（2001）关键系统的自动演绎需求分析。ACM Trans Softw工程方法10:255-307·数字对象标识代码：10.1145/383876.383877 [11] Grossman RL、Nerode A、Ravn AP、Rischel H（eds）（1993）混合系统。LNCS，第736卷。柏林施普林格·Zbl 0825.00044号 [12] Gubisch G、Steinbauer G、Weiglhofer M、Wotawa F（2008）移动机器人快速、反应和鲁棒控制的遥反应架构。摘自：IEA/AIE’08：关于应用智能系统的工业、工程和其他应用的第21届国际会议记录。柏林施普林格，第541-550页 [13] Hawthorne J，Anthony R（2010）使用远程反应式编程风格开发自愈应用程序。输入：ACCS。计算机科学、社会信息学和电信工程研究所讲义，第23卷。柏林施普林格，第114-129页 [14] Hayes IJ（2008）《面向稳健实时系统的远程反应程序推理》。收录于：SERENE’08：2008年RISE/EFTS弹性系统软件工程联合国际研讨会会议记录，美国纽约州纽约市ACM，纽约，第87-94页·Zbl 1069.68067号 [15] Hayes IJ，Burns A，Dongol B，Jones C（2011）非确定性表达评估的比较模型。技术报告CS-TR-1273，纽卡斯尔大学·Zbl 1019.68054号 [16] Henzinger TA（1996）混合自动机理论。地址：LICS’96，Washington，DC，USA。IEEE Computer Society，New York，pp 278-292·Zbl 0959.68073号 [17] Hoare CAR（1969）计算机编程的公理基础。公共ACM 12（10）：576-580·Zbl 0179.23105号 [18] 琼斯CB。（1983）开发干扰程序方法的初步步骤。ACM Trans程序语言系统5（4）：596-619·Zbl 0517.68032号 ·数字对象标识代码：10.1145/69575.69577 [19] Lamport L（1993）TLA+中的混合系统。Grossman等人[GNRR93]，第77-102页 [20] Lamport L（2002）《指定系统：面向硬件和软件工程师的TLA+语言和工具》。Addison-Wesley Longman Publishing Co.，Inc.，波士顿 [21] Lewerentz C，Lindner T（eds）（1995）反应系统的正式开发——案例研究生产单元。LNCS，第891卷。柏林施普林格·Zbl 0825.00053号 [22] Lynch N.、Segala R.、Vaandraager F.（2003）混合I/O自动机。Inf计算185（1）：105-157·Zbl 1069.68067号 ·doi:10.1016/S0890-5401（03）00067-1 [23] Meinicke L，Hayes IJ（2006）持续行动系统改进。收件人：Uustalu T（ed）MPC。LNCS，第4014卷。柏林施普林格，pp 316-337·Zbl 1235.68104号 [24] Moszkowski BC（1997）使用区间时序逻辑和Tempura进行组合推理。收录人：de Roever WP、Langmaack H、Pnueli A（eds）COMPOS。计算机科学课堂讲稿，第1536卷。柏林施普林格，第439-464页 [25] Manna Z，Pnueli A（1992）反应和并发系统的时间验证：规范。Springer-Verlag纽约公司，纽约·Zbl 0753.68003号 [26] 新泽西州尼尔森。（2001）远程反应式程序和三功率架构。电子反人工智能5:99-110 [27] Nafz F、Ortmier F、Seebach H、Steghöfer JP、Reif W（2009）基于角色的有机计算系统的通用自组织机制。收件人：Reif W，Wang G，Indulska J（eds）ATC。LNCS，第5586卷。柏林施普林格，第17-31页 [28] RönkköM.，Ravn AP。，Sere K.（2003）混合行动系统。计算机科学理论290:937-973·Zbl 1019.68054号 ·doi:10.1016/S0304-3975（02）00547-9 [29] Twidle KP、Marinovic S、Dulay N（2010），《思考2》中的远程反应政策。包含：政策。IEEE计算机协会，纽约，第57-60页 [30] Zhou C.，Hansen MR.（2004）持续演算：实时系统EATCS的正式方法：理论计算机科学专著。柏林施普林格·Zbl 1071.68062号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。