阿尔伯特·本文尼斯特;保罗·勒格尼;克里斯蒂安·杰克莫特 具有事件和关系的同步编程：SIGNAL语言及其语义。 （英语） Zbl 0745.68031号 科学。计算。程序。 16，第2期，103-149（1991）. 概要：考虑与环境永久交互的系统。例如，在实时控制或信号处理系统、C^3系统、人机界面中都会遇到这样的系统。此类系统的设计和实现需要一种并发编程语言，该语言可用于验证和综合同步机制，并执行并发源代码的转换以匹配特定的目标体系结构。同步语言是实现此目的的方便工具：它们依赖于以下假设：（1） 同步系统的内部动作是瞬时的（2） 通过涉及一些外部刺激的瞬时闪光来执行与环境的通信。我们提出了一种同步编程语言：SIGNAL。SIGNAL程序指定（内部和外部）信号流之间的动态关系。SIGNAL编译器检查程序的死锁和确定性，并生成等价于并发自动机嵌套族的中间级代码。编译算法支持：（1） 根据条件重写规则，SIGNAL程序的行为语义，（2） 将这些语义编码为整数模3和有向图域上动力系统的斜积，（3） 一种代数算法，用于将上述编码转换为等效的可执行编码，该算法提供了语言的旁路执行语义。我们简要讨论了实现方面，并解释了SIGNAL编译器当前版本的功能和限制。 引用于14文件 MSC公司： 68甲15 编程语言理论 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：无功系统;并行编程;同步程序设计语言;SIGNAL程序的语义;条件重写;动力系统的斜积 软件：信号 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人，科学。计算。程序。16，第2号，第103--149页（1991年；Zbl 0745.68031） 全文： 内政部