×
Virbitskaite，I.B.公司。;杜伯索夫，R.S。

时间事件结构的语义域。 （英语。俄文原件） Zbl 1188.68180号

程序。计算。柔和。 34，第3期，125-137（2008）; 译自Programmirovanie 34，No.3，3-20（2008）。
摘要：本文研究了各类事件结构和标记Scott域的时间延拓，构造了这些模型的类别，并研究了它们的性质。此外，基于分类理论方法，建立了时间结构与标记Scott域之间的关系。

MSC公司：

68问题55 计算理论中的语义学
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

事件结构类;标记了Scott域

软件：

HOPLA公司
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{R.S.Dubtsov}，程序。计算。柔和。34，编号3，125-137（2008；Zbl 1188.68180）；译自Programmirovanie 34，No.3，3--20（2008）
全文： 内政部

参考文献：

[1] 温斯克尔，G.，《计算事件》，爱丁堡大学博士论文，1980年。
[2] Nielsen，M.、Plotkin，G.和Winskel，G.，Petri网，事件结构和域，理论计算。科学。，1981年，第13卷，第1期，第85–108页·Zbl 0452.68067号 ·doi:10.1016/0304-3975（81）90112-2
[3] Nielsen，M.、Rosenberg，G.和Thiagarajan，P.S.，《基本网络系统的行为概念，分布式计算》，1990年，第4卷，第45-57页·doi:10.1007/BF01783665
[4] Winskel，G.，事件结构，课堂讲稿计算。科学。，1986年，第255卷，第325-392页·文件编号：10.1007/3-540-17906-2_31
[5] Boudol，G.和Castellani，I.，《并发性和原子性，理论计算》。科学。，1989年，第59卷，第25-84页·Zbl 0678.68078号 ·doi:10.1016/0304-3975（88）90096-5
[6] Darondeau，Ph.和Degano，P.，《事件结构、因果树和精炼》，讲义计算。科学。，1990年，第452卷，第239–245页·兹比尔0733.68027 ·doi:10.1007/BFB029614
[7] Langerak，R.，《捆绑事件结构：LOTOS的非交错语义》。形式描述技术V，IFIP Trans。，1993年，第C-10卷。
[8] Degano，P.、Gorrieri，R.和Vigna，S.，《关于并发性的相关模型》，讲义计算。科学。，1993年，第668卷，第15-30页·doi:10.1007/3-540-56610-4_53
[9] Pinna，G.M.和Poigné，A.，《关于事件的本质：并发的另一个观点，理论计算》。科学。，1995年，第138卷，第2期，第425-454页·Zbl 0874.68111号 ·doi:10.1016/0304-3975（94）00174-H
[10] Hoogers，P.W.、Kliejn，H.C.M.和Thiagarajan，P.S.，《通用Petri网的事件结构语义》，理论计算。科学。，1996年，第153卷，第129-170页·Zbl 0872.68126号 ·doi:10.1016/0304-3975（95）00120-4
[11] Van Glabbeek，R.J.和Plotkin，G.D.，《可解决冲突的事件结构》，讲义计算。科学。，2004年，第3153卷，第550-561页·Zbl 1096.68114号 ·doi:10.1007/978-3-540-28629-542
[12] Van Glabbeek，R.J.，《关于高维自动机的表达性，理论计算》。科学。，2006年，第356卷，第3期，第265-290页·Zbl 1092.68071号 ·doi:10.1016/j.tcs.2006.02.012
[13] Van Glabbeek，R.J.和Goltz，U.，《并行系统的行为和等价概念的细化》，《信息学报》，2001年，第37卷，第229-327页·Zbl 0969.68081号 ·doi:10.1007/s002360000041
[14] Van Glabbeek，R.J.和Vaandrager，F.W.，捆绑式事件结构和CCSP，讲义计算。科学。，2003年，第2761卷，第57-71页·Zbl 1274.68262号 ·doi:10.1007/978-3-540-45187-74
[15] MacLane，S.，《工作数学家分类》，GTM，Springer，1971年。
[16] Nielsen，M.和Winskel，G.，Petri网和互模拟，理论计算。科学。，1996年，第153卷·Zbl 0872.68129号
[17] Winskel，G.和Nielsen，M.，《并发模型》，《逻辑计算手册》。科学。，1995年，第4卷·Zbl 0874.68120号
[18] Nygaard，M.和Winskel，G.，并发领域理论，理论计算。科学。，2004年，第103卷，第153-190页·Zbl 1072.68062号 ·doi:10.1016/j.tcs.2004.01.029
[19] Mesguer，J.、Montanari，U.和Sassone，V.，《位置/转移Petri网的过程与展开语义》，理论计算。科学。，1996年，第153卷，第171-210页·Zbl 0872.68130号 ·doi:10.1016/0304-3975（95）00121-2
[20] Varacca，D.、Völzer，H.和Winskel，G.，概率事件结构和域，讲义计算。科学。，2004年，第3170卷，第481-496页·Zbl 1099.68676号 ·doi:10.1007/978-3-540-28644-8_31
[21] Alur，R.和Dill，D.，《时间自动机理论》，理论计算。科学。，1994年，第126卷，第183-235页·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[22] Henzinger，T.A.、Manna，Z.和Pnueli，A.，《时间转换系统》，讲义计算。科学。，1991年，第600卷，第226-251页·Zbl 0820.68085号 ·doi:10.1007/BFb0031995
[23] Schneider，S.和Davies，J.等人，《Timed CSP：理论与实践》，讲义计算。科学。，1991年，第600卷，第640-675页。
[24] Katoen，J.-P.，事件结构的定量和定性扩展，特温特大学博士论文，1996年。
[25] Andreeva，M.V.和Virbitskaite，I.B.，《时间稳定事件结构的观测时间当量》，《信息学基础》，2006年，第72卷，第4期，第1-19页·Zbl 1097.68080号
[26] Murphy，D.，《非交错并发中的时间和持续时间》，《信息学基础》，1993年，第19卷，第403-416页·Zbl 0785.68035号
[27] Virbitskaite，I.B.和Gribovskaya，N.S.，《时间偏序模型的开放地图和观测等效性》，《基础信息》，2004年，第60卷，第1-4期，第383-399页·Zbl 1083.68088号
[28] Dubtsov，R.，实时稳定事件结构和标记Scott域，讲义计算。科学。，2007年，第4378卷，第329–332页·Zbl 1185.68442号
[29] Aura，T.和Lilius，J.，《时间Petri网的时间过程》，讲义计算。科学。，1997年，第1248卷，第136–155页·Zbl 0951.68095号 ·数字对象标识代码：10.1007/3-540-63139-9_34
[30] Valero，V.、de Frutos，D.和Cuartero，F.，《时间Petri网的时间过程》，讲义计算。科学。，1995年，第935卷，第490-509页·doi:10.1007/3-540-60029-9_56
[31] Ghezzi，C.、Mandrioli，D.、Moraska，S.和Pezze，M.，《Petri Nets中投入时间的一般方法》，Proc。第五届软件规范与设计国际研讨会，匹兹堡，1989年，第60-67页。
[32] Merlin，P.和Faber，D.J.，《通信协议的可恢复性》，IEEE Trans。社区。，1976年，第COM-24卷，第9号。
[33] Ramchandani，C.，《用时间Petri网分析异步并发系统》，博士论文，马萨诸塞州剑桥：麻省理工学院电子工程系，1974年。
[34] Fidge，C.，《面向约束的实时过程微积分》。形式描述技术V，IFIP Trans。，1993年，第C-10卷，第363–378页。
[35] Casley，R.T.、Crew，R.F.、Meseguer，J.和Pratt，V.R.，《时间结构，数学》。结构计算。科学。，1991年，第1卷，第2期，第179-213页·Zbl 0756.18006号 ·doi:10.1017/S0960129500001286
[36] Janssen，W.、Poel，M.、Wu，Q.和Zwiers，J.，实时分布式进程的分层，讲义计算。科学。，1994年，第863卷，第393-417页·doi:10.1007/3-540-58468-4_175
[37] Maggiolo-Schettini，A.和Winkovski，J.，朝向时间行为代数，理论计算。科学。，1992年，第103卷，第335-363页·Zbl 0772.68037号 ·doi:10.1016/0304-3975（92）90018-B
[38] Aceto，L.和Murphi，D.，《过程代数中的时间和因果关系》，《信息学报》，1996年，第33卷，第317-350页·Zbl 0858.68036号 ·doi:10.1007/s002360050047
[39] Goltz，U.和Göts，N.，《用行动细化语言建模简单通信协议》，草案。
[40] Chatain，T.和Jaed，C.，使用时间Petri网的符号展开的并发系统的时间监督，讲义计算。科学。，2005年，第3829卷，第196-210页·Zbl 1175.68274号 ·doi:10.1007/11603009_16
[41] Bouyer，P.、Haddad，S.和Reynier，P.-A.，《时间自动机网络的时间展开》，计算机讲稿。科学。，2006年，第4218卷，第292-306页·Zbl 1161.68614号 ·doi:10.1007/11901914_23
[42] Bouyer，P.、Haddad，S.和Reynier，P.-A.，《扩展时间自动机和时间Petri网》，Proc。第六届国际会议《并发性在系统设计中的应用》，2006年，第91–100页·兹比尔1133.68383
[43] Abramsky，S.和Jung，A.，领域理论。计算机科学逻辑手册，第3卷，克拉伦登，1994年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。