马库斯·罗根巴赫 CSP-CASL–进程代数和代数规范的新集成。 (英语) Zbl 1088.68132号 西奥。计算。科学。 354,第1期,42-71(2006).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{M.Roggenbach},Theor。计算。科学。354,编号1,42--71(2006;Zbl 1088.68132) 全文: 内政部
格里高·罗什乌 行为抽象是隐藏信息。 (英语) Zbl 1105.68076号 西奥。计算。科学。 327,第1-2号,197-221(2004).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \文本{G.Rošu},Theor。计算。科学。327,编号1--2,197-221(2004;Zbl 1105.68076) 全文: 内政部