罗、刚;Bochmann,Gregor v。;安妮迪娅·达斯;吴成 过渡系统的故障等效转换,以避免内部动作。 (英语) Zbl 0795.68145号 Inf.流程。莱特。 44,第6期,333-343(1992).MSC公司:68问题85 68纳米99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Luo}等人,《信息处理》。莱特。44,第6号,333--343(1992;Zbl 0795.68145) 全文: 内政部
德克·托布纳 关于过程代数中递归符号的注记。 (英语) Zbl 0714.68053号 Inf.流程。莱特。 37,第6号,299-303(1991).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Taubner},Inf.过程。莱特。37,第6号,299--303(1991;Zbl 0714.68053) 全文: 内政部