格林·温斯克尔 素代数性。 (英语) Zbl 1186.68271号 西奥。计算。科学。 410,第41号,4160-4168(2009).MSC公司:68问题55 68问题85 99年6月 PDF格式BibTeX公司 XML格式引用 \文本{G.Winskel},Theor。计算。科学。410,编号41,4160--4168(2009;Zbl 1186.68271) 全文: 内政部
费尔南德斯,C。;蒂亚加拉扬,P.S。 D连续因果网:非连续过程模型。 (英语) Zbl 0531.68016号 西奥。计算。科学。 28, 171-196 (1984). 审核人:R.Janicki公司 MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Fernández}和\textit{P.S.Thiagarajan},Theor。计算。科学。28171--196(1984年;Zbl 0531.68016) 全文: 内政部
佩特里,C.A。 物理和计算中的状态转换结构。 (英语) Zbl 0497.68031号 国际J.Theor。物理学。 21, 979-992 (1982).MSC公司:68问题85 70A05型 94甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Petri},国际期刊Theor。物理。21979-992(1982;Zbl 0497.68031) 全文: 内政部