刘晓军;爱德华·A·李。 定时交互参与者网络的CPO语义。 (英语) Zbl 1157.68046号 西奥。计算。科学。 409,第1号,110-125(2008).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{E.A.Lee},Theor。计算。科学。409,编号1,110-125(2008;Zbl 1157.68046) 全文: 内政部
格哈德·谢尔霍恩 ASM精化和数据精化中正向模拟的推广:比较。 (英语) Zbl 1080.68058号 西奥。计算。科学。 336,编号2-3,403-435(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},Theor(西奥)。计算。科学。336,编号2--3,403--435(2005;Zbl 1080.68058) 全文: 内政部