沙巴赞,K。;Yu Shoukourian。 与同质流事件结构相关的EMSO逻辑和自动机。 (英语) Zbl 1070.68078号 西奥。计算。科学。 322,第1期,181-201(2004).MSC公司:65年第68季度 05年3月 68问题55 60年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Shahbazyan}和\textit{Yu.Shoukourian},Theor。计算。科学。322,编号1,181--201(2004;Zbl 1070.68078) 全文: 内政部
罗布·范格拉贝克;乌苏拉·戈尔茨 用于并行合成和动作精细化的井底流动事件结构。 (英语) Zbl 1068.68095号 西奥。计算。科学。 311,编号1-3,463-478(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{U.Goltz},Theor。计算。科学。311,编号1--3,463--478(2004;Zbl 1068.68095) 全文: 内政部
鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 具有读弧和抑制弧的Petri网的域和事件结构语义。 (英语) Zbl 1078.68103号 西奥。计算。科学。 323,编号1-3,129-189(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。323,编号1--3,129--189(2004;Zbl 1078.68103) 全文: 内政部
贝拉迪,S。;C·柏林。 为系统F建立连续的网状模型。 (英语) Zbl 1079.03017号 西奥。计算。科学。 315,第1期,第3-34页(2004年).MSC公司:03B70型 03B40型 68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{C.Berline},Theor。计算。科学。315,第1号,第3--34号(2004;Zbl 1079.03017) 全文: 内政部 哈尔
米克尔·奈加德;格林·温斯克尔 并发领域理论。 (英语) Zbl 1072.68062号 西奥。计算。科学。 316,编号1-3153-190(2004年).MSC公司:68问题55 68问题85 18立方厘米50 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Nygaard}和\textit{G.Winskel},Theor。计算。科学。316,编号1--3,153-190(2004;Zbl 1072.68062) 全文: 内政部