约斯特·恩格尔弗里特 具有复制的pi演算的多集语义。 (英语) Zbl 0872.68125号 西奥。计算。科学。 153,编号1-2,65-94(1996).MSC公司:68问题85 68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},西奥。计算。科学。153,编号1--2,65-94(1996;Zbl 0872.68125) 全文: 内政部
约斯特·恩格尔弗里特 Petri网的分支过程。 (英语) 兹比尔0743.68106 学报信息。 28,第6号,575-591(1991).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Acta Inf.28,No.6,575--591(1991;Zbl 0743.68106) 全文: 内政部