巴顿，J.C.M。;J.A.伯格斯特拉。 实时进程代数。 （英语） Zbl 0719.68020号 形式方面计算。 3，第2期，142-188（1991）. 引用于1审查引用于55文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68问题65 抽象数据类型；代数规范 关键词：进程代数;通信过程代数;实时系统规范语言 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和textit{J.A.Bergstra}，正式Asp。计算。3，第2号，142--188（1991；Zbl 0719.68020） 全文： 内政部 参考文献： [1] Bacten，J.C.M.和Bergstra，J.A.：《真实空间过程代数》，P9005报告，编程研究小组，阿姆斯特丹大学，1990年。 [2] Baeten，J.C.M.、Bergstra，J.A.和Klop，J.W.：关于库门公平抽象规则的一致性。西奥。公司。科学。，51, 129–176 (1987). ·Zbl 0621.68010号 ·doi:10.1016/0304-3975（87）90052-1 [3] Bergstra，J.A.和Klop，J.W.：同步通信的过程代数。《信息控制》，60，109–137（1984）·Zbl 0597.68027号 ·doi:10.1016/S0019-9958（84）80025-X [4] Bergstra，J.A.和Klop，J.W.：过程代数：互模拟语义的规范和验证。收录于：《数学与计算机科学II》，M.Hazewinkel、J.K.Lenstra和L.G.L.T.Meertens（编辑），CWI专著4，北荷兰，阿姆斯特丹，1986年，第61-94页·Zbl 0625.68023号 [5] Davies，J.和Schneider，S.：《定时CSP简介》，PRG-75报告，牛津大学计算实验室，牛津，1989年。 [6] Gerth，R.和Boucher，A.：扩展通信过程的定时故障模型。In：程序。第14届ICALP，Karlsruhe，Th.Ottmann（编辑），第95–114页，Springer LNCS 2671987·Zbl 0623.68022号 [7] Glabbeek，R.J.van和Vaandrager，F.W.：并行代数理论的Petri网模型（扩展抽象）。程序。PARLE Vol.II，J.W.de Bakker，A.J.Nijman和P.C.Treleaven，（编辑），Springer LNCS 2591987，第224–242页·Zbl 0633.68054号 [8] Groote，J.F.：《带负前提的过渡系统规范》，报告CS-R8950，CWI，阿姆斯特丹，1989年；扩展摘要。In：程序。CONCUR 90，阿姆斯特丹，J.C.M.Baeten和J.W.Klop（编辑），第332-341页，Springer LNCS 4581990年。 [9] Groote，J.F.：《ACP中实时系统的规范和验证》，报告CS-R9015，CWI，阿姆斯特丹，1990年。In：程序。第十届国际IFIP交响曲。《协议规范、测试和验证》，渥太华，1990年（即将出版）。 [10] Jahanian，F.和Mok，A.：实时系统定时特性的安全分析。IEEE软件工程学报，12890-904（1986）。 ·doi:10.1109/TSE.1986.6313045 [11] Koymans，R.，Shyamasundar，R.K.，Roever，W.P.de，Gerth，R.和Arun-Kumar，S.：实时分布式计算的合成语义。公司信息。，79, 210–256 (1988). ·Zbl 0669.68055号 ·doi:10.1016/0890-5401（88）90020-X [12] Milner，R.：《通信系统的微积分》，Springer LNCS 921980年·Zbl 0452.68027号 [13] Moller，F.和Tofts，C:沟通系统的时间微积分。In：程序。CONCUR 90，阿姆斯特丹，J.C.M.Baeten和J.W.Klop（编辑），第401-415页，Springer LNCS 4581990年。 [14] Nicollin，X.、Richier，J.-L.、Sifakis，J.和Voiron，J.:ATP：定时过程的代数，RT-C16报告，Project Spectre，IMAG，1990。In：程序。IFIP确认程序。概念和方法，加利利海，1990年（即将出版）。 [15] Reed，G.M.：实时分布式计算领域层次结构。In：程序。MFPLS’89（即将发布）。 [16] Reed，G.M.和Roscoe，A.W.：通信顺序过程的时间模型。西奥。公司。科学。，58, 249–261 (1988). ·Zbl 0655.68031号 ·doi:10.1016/0304-3975（88）90030-8 [17] Reed，G.M.和Roscoe，A.W.：度量空间作为实时并发模型。In：程序。1987年MFPLS，Springer LNCS 2981988·Zbl 0644.68040号 [18] Tanenbaum，A.S.：《计算机网络》，普伦蒂斯·霍尔国际出版社，1981年·Zbl 0825.68147号 [19] Vaandrager，F.W.：《并行代数技术及其应用》，阿姆斯特丹大学博士论文，1990年。 [20] Zwarico，A.和Lee，I.：确定性实时计算的语法和语义，技术报告，计算机部&；信息科学。，宾夕法尼亚大学，费城，1987年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。