A.普努利。;沙列夫，M。 步骤是什么：状态图的语义。 （英语） Zbl 1493.68121号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 244-264 (1991). 摘要：本文提出了一个定义状态图执行步骤的建议。所提出的语义维护了同步性假说通过这种方法，系统的速度比环境快得多，并且总是能够在下一个刺激到来之前完成计算其响应。然而，它通过要求步骤的全局一致性来纠正先前定义中存在的一些不一致性。关于整个系列，请参见[Zbl 0875.00067号]. 引用于11文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{M.Shalev}，莱克特。注释计算。科学。526244--264（1991年；Zbl 1493.68121） 全文： 内政部 参考文献： [1] G.Berry和G.Gonthier。同步编程语言Esterel，设计，语义，实现技术报告，技术报告327，INRIA，1988年。出现在计算机程序设计科学. ·Zbl 0772.68013号 [2] P.Caspi、N.Halbwachs、D.Pilaud和J.Plaice。Lustre，一种用于同步系统编程的声明性语言。在程序。第14届ACM交响乐团。普林克。第页，共页。语言。第178-188页，1987年。 [3] D.哈雷。状态图：复杂系统的可视化形式主义。科学。公司。程序。, 8:231-274, 1987. ·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9 [4] D.Harel、H.Lachover、A.Naamad、A.Pnueli、M.Politi、R.Sherman、A.Shtull-Trauring和M.Trakhtenbrot。Statemate：开发复杂反应系统的工作环境。IEEE传输。软件工程。, 16:403-414, 1990. ·doi:10.1109/32.54292 [5] D.Harel、A.Pnueli、J.Schmidt和R.Sherman。关于状态图的形式语义。在程序。IEEE第一交响曲。Comp.中的逻辑。科学。1986年，第54-64页。 [6] C.会聚。反应系统的语义：比较和完全抽象埃因霍温技术大学博士论文，1991年。 [7] C.Huizing和R.Gerth。论反应系统的语义《技术报告》，埃因霍温理工大学，1988年。 [8] C.Huizing、R.Gerth和W.de Roever。以完全抽象的方式建模状态图行为。在程序。第13次CAAP，第271-294页，《计算机课程讲义》。科学。299年，斯普林格·弗拉格出版社，1988年·Zbl 0647.68018号 [9] F.马兰尼奇。Argonaute：使用过程代数对反应系统进行图形化描述、语义和验证。编辑J.Sifakis，有限状态系统的自动验证方法，Comp.课堂讲稿。科学。407，Springer-Verlag，1989年。 [10] A.Pnueli和M.Shalev。步骤中有什么？编辑J.Klop、J.Meijer和J.Rutten，J.W.De Bakker，解放Amicorum，第373-400页，CWI，阿姆斯特丹，1989年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。