G.Michele Pinna;阿克塞尔·波涅 关于基本反应行为的规范。 （英语） Zbl 1509.68170号 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 271-292 (1994). 摘要：本文讨论了基于事件的模型的反应行为规范。我们关注的是这种规范的框架，而不是特定风格的规范。我们的主要观察结果是事件逻辑不仅需要行动逻辑前者详细规定了计算如何进行，而后者提供了事件发生的通用脚本。类比是运行时的过程和过程调用（=事件）。我们声称这两种逻辑本质上是相互关联的，特别是如果要指定“真正的并发”。为了指定反应行为，我们在一个新模型（称为事件自动机，重点关注这种规格方法应提供的成分。关于整个系列，请参见[Zbl 0825.00084号]. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit｛G.M.Pinna｝和\textit｛A.Poigné｝，Lect。注释计算。科学。802271--292（1994年；Zbl 1509.68170） 全文： 内政部 参考文献： [1] Brown，C.，Gurr，D.，《Petri网的时间逻辑和类别》，即将出版 [2] Costa，J.F.，Sernadas，A.，Sernada，C.，“面向对象规范的语义”，in程序。IS-Core’92研讨会，INESC，里斯本，1992年 [3] Fiadeiro，J.、Sernadas，A.、。，《系统规范模态项的逻辑》，《逻辑与计算杂志》，Nordwijkerhout，1990年 [4] Gunawardena，J.，“几何逻辑、因果关系和事件结构”，in1991年CONCUR《计算机科学课堂讲稿》5271991年，第266-280页 [5] C.A.R.霍尔。，通信顺序过程普伦蒂斯·霍尔，1984年 [6] 霍普克罗夫特，J.E.，乌尔曼，J.D。，自动机理论、语言和计算导论艾迪森·卫斯理，1979年·Zbl 0426.68001号 [7] Mazurkiewicz，A.，“痕迹理论的基本概念”，摘自REX夏令营时间逻辑课堂讲稿，《计算机科学课堂讲稿》354，斯普林格出版社，1988年 [8] 米尔纳，R。，沟通与并发普伦蒂斯·霍尔，1989年·Zbl 0683.68008号 [9] Olderog，E.-R.，Hoare，C.A.R。，通信过程的面向特定语义，信息学报23，第9-66页·Zbl 0569.68019号 [10] 佩特里，C.A。，Kommunikation mit自动化1962年，波恩第2号，德国仪器仪表研究所，1962年：Griffiths空军基地，技术代表RADC-TR-65-377，第1卷，增刊1（英文翻译），纽约，1966年 [11] Petri，C.A.，“并发”，in网络理论与应用《计算机科学课堂讲稿》84，施普林格出版社，1979年 [12] Pinna，G.M.，Poigné，A.，“关于事件的性质”，in程序。92年MFCS，《计算机科学讲义》6291992年，第430-441页·Zbl 1493.68253号 [13] Pinna，G.M.，Poigné，A.，“关于事件的性质”，GMD-Arbeitspapier，即将出版 [14] Pinna，G.M.，Poigné，A。，事件自动机的数学，正在准备中 [15] Manna，Z.，Pnueli，A。，无功和并发系统规范的时序逻辑，施普林格，1992年 [16] Pratt，V.，“部分订单的并发建模”，国际并行程序设计杂志1986年第15卷·Zbl 0622.68034号 [17] Rensink，A.，“配置的姿势！”，in1992年CONCUR《计算机科学课堂讲稿》630，第269-285页 [18] Winskel，G.，“事件结构”，inPetri网：与其他并发模型的应用和关系《计算机科学课堂讲稿》255，第325-392页 [19] 温斯克尔，G。，并发模型的类别，1990年在巴黎ESPRIT-BRA CLICS-会议上的讲话 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。