阿戈斯蒂诺·多维尔;卡拉广场;阿尔贝托,Policriti 一种计算互模拟等价性的有效算法。 (英语) Zbl 1070.68101号 西奥。计算。科学。 311,编号1-3,221-256(2004).MSC公司:第68季度85 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,Theor。计算。科学。311,编号1--3,221--256(2004;Zbl 1070.68101) 全文: 内政部
阿戈斯蒂诺·科尔特斯;阿戈斯蒂诺·多维尔;伊利莎·昆塔雷利;莱蒂齐亚·坦卡 查询语言G-Log的操作和抽象语义。 (英语) 兹比尔1026.68089 西奥。计算。科学。 275,编号1-2,521-560(2002).MSC公司:68问题55 第68页,共15页 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}等人,Theor。计算。科学。275,编号1--2,521--560(2002;Zbl 1026.68089) 全文: 内政部