沃尔特·福格勒;克里斯蒂安·斯塔尔;理查德·米勒 基于跟踪和故障的响应语义。 (英语) Zbl 1304.68033号 学报信息。 51,第8号,499-552(2014).MSC公司:68号30 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}等人,《学报》第51期,第8期,第499--552页(2014年;Zbl 1304.68033) 全文: 内政部 链接
弗拉维奥·科拉迪尼;迪贝拉尔迪尼,玛丽亚·丽塔;沃尔特·福格勒 公平进程代数中互斥算法的活性。 (英语) Zbl 1166.68030号 学报信息。 46,第3期,209-235(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,《信息学报》46,第3期,209--235(2009年;Zbl 1166.68030) 全文: 内政部 链接
弗拉维奥·科拉迪尼;迪贝拉尔迪尼,玛丽亚·丽塔;沃尔特·福格勒 具有非阻塞读取的进程代数中的时间和公平性。 (英语) Zbl 1206.68213号 尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404193-204(2009)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,Lect。票据计算。科学。5404193-204(2009年;Zbl 1206.68213) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒 过程上的连接:通过现成树语义进行完全抽象。 (英语) Zbl 1111.68085号 西奥。计算。科学。 373,编号1-2,19-40(2007).MSC公司:68问题85 03B44号 第68季度55 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。373,编号1--2,19-40(2007;Zbl 1111.68085) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007).MSC公司:68问题85 第68季度55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
杰拉尔德·吕特根;沃尔特·福格勒 速度上的相互模拟:最坏情况下的效率。 (英语) Zbl 1074.68037号 Inf.计算。 191,第2期,第105-144页(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},信息计算。191,No.2,105--144(2004;Zbl 1074.68037) 全文: 内政部
沃尔特·福格勒 异步系统的效率、读弧和MUTEX问题。 (英语) Zbl 1026.68099号 西奥。计算。科学。 275,第1-2号,589-631(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.福格勒},Theor。计算。科学。275,编号1--2,589--631(2002;Zbl 1026.68099) 全文: 内政部