Shyamasundar，R.K。；拉梅什，S。 反应式规范的语言：同步与异步。 （英语） Zbl 1319.68143号 发现的国际期刊。计算。科学。 11，第2期，283-314（2000）. 总结：异步和同步语言已经被用于描述反应式系统。这两类人的主要特点之一在于不确定性用于程序规范。从这个观点出发，我们分析了CSP（一个典型的异步语言）和Esterel（a同步语言）。同步语言Esterel基于确定性、输入不确定性和并行性的概念，而CSP则建立在不确定性、并发性和分布性的概念之上。本研究的主要目标是评估：{}\（\bullet\）不确定性在程序行为和实现规范中的作用：明确区分局部和全局不确定性使我们能够区分实现不确定性和环境/输入不确定性。这方面的成果将使人们能够实现可观察决定论在哪里可以隐藏实现选择，从而参照真实的规范中的环境不确定性。这导致了规范的适当细化，并有助于导出不一定具有确定性的有限状态转换系统的分布式实现。{}\（\bullet\）的可实施性异步语言通过同步语言。异步语言在同步语言中的可实现性不仅提供了切合实际的实现，但也使用广播、中断、异常处理机制等功能为反应性规范提供更高级别的抽象（如多进程交互）。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：异步；CSP公司；酯类；进程代数；无功系统；同步性；同步语言 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Shyamasundar}和\textit{S.Ramesh}，国际期刊发现。计算。科学。11，第2号，283--314（2000；Zbl 1319.68143） 全文： 内政部 参考文献： [1] Boudol G.，LNCS 40T，Springer-Verlag pp 1–（1990） [2] 内政部：10.1016/0304-3975（83）90114-7·Zbl 0512.68026号 ·doi:10.1016/0304-3975（83）90114-7 [3] Pinchinat Sophie，LNCS 1538第125页–（1998年） [4] 内政部：10.1016/0304-3975（85）90093-3·Zbl 0598.68027号 ·doi:10.1016/0304-3975（85）90093-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。