艾琳·辛科；沃尔特·福格勒；约翰内斯·加里斯；N.Tri Nguyen公司；杰拉尔德·吕特根 共享内存的接口自动机。 （英语） Zbl 07592342号 学报信息。 59，第5期，521-556（2022年）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Schinko}等人，《信息学报》59，第5期，第521--556页（2022年；Zbl 07592342） 全文： DOI程序
安蒂·瓦尔马里；沃尔特·福格勒 顽固的设置，冻结的行动，公平的测试。 （英语） Zbl 1478.68182号 芬丹。通知。 178，编号1-2，139-172（2021）.MSC公司：60年第68季度 06A07年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{W.Vogler}，Fundam。通知。178，编号1--2，139-172（2021；Zbl 1478.68182） 全文： DOI程序
沃尔特·福格勒；杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 （英语） Zbl 1443.68099号 学报信息。 57，编号3-5，513-550（2020）.MSC公司：65年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{G.Lüttgen}，《学报》第57期，第3--5513-550号（2020年；Zbl 1443.68099） 全文： DOI程序
维塔利施耐德；沃尔特·福格勒 模态开放Petri网。 （英语） 兹比尔07796209 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 25-46 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Schneider}和\textit{W.Vogler}，莱克特。注释计算。科学。11522，25-46（2019；Zbl 07796209） 全文： DOI程序
费伦茨·巴伊托；沃尔特·福格勒 接口自动机中的错误修剪。 （英语） Zbl 1328.68136号 西奥。计算。科学。 597，18-39（2015）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler}，Theor。计算。科学。597、18-39（2015年；Zbl 1328.68136） 全文： DOI程序
沃尔特·福格勒；克里斯蒂安·斯塔尔；理查德·米勒 基于跟踪和故障的响应语义。 （英语） 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年；兹bl 1304.68033） 全文： DOI程序 链接
理查德·米勒；克里斯蒂安·斯塔尔；沃尔特·福格勒 具有无限消息队列的开放系统一致性的不确定性。 （英语） Zbl 1371.68196号 信息处理。莱特。 114，编号12663-669（2014）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Müller}等人，《Inf.过程》。莱特。114，第12号，663--669（2014；Zbl 1371.68196） 全文： DOI程序 链接
克里斯蒂安·斯塔尔；沃尔特·福格勒 基于跟踪的服务语义保证了无死锁。 （英语） 兹比尔1277.68206 学报信息。 49，第2期，69-103（2012）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Stahl}和\textit{W.Vogler}，《学报》第49期，第2期，第69-103页（2012年；Zbl 1277.68206） 全文： DOI程序
杰拉尔德·吕特根；沃尔特·福格勒 使用逻辑LTS进行安全推理。 （英语） Zbl 1216.68193号 西奥。计算。科学。 412，第28号，3337-3357（2011）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler}，Theor。计算。科学。412，第28号，3337-3357（2011；Zbl 1216.68193） 全文： DOI程序
杰拉尔德·吕特根；沃尔特·福格勒 过程上的连接：通过现成树语义进行完全抽象。 （英语） 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） 全文： DOI程序
阿伦德·伦辛克；沃尔特·福格勒 公平测试。 （英语） 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） 全文： DOI程序 链接
科拉迪尼，F。；M.R.迪·贝拉迪尼。；沃格勒，W。 系统计算中动作的公平性。 （英语） Zbl 1097.68087号 学报信息。 43，第2期，73-130（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，《信息学报》第43卷第2期，第73-130页（2006年；Zbl 1097.68087） 全文： DOI程序 链接
沃尔特·福格勒 更快的异步系统。 （英语） Zbl 1054.68097号 Inf.计算。 184，第2期，311-342（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛W.Vogler｝，信息计算。184，第2号，311--342（2003；Zbl 1054.68097） 全文： DOI程序
沃尔特·福格勒 部分顺序语义和读取弧。 （英语） Zbl 1016.68051号 西奥。计算。科学。 286，第1号，33-63（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.福格勒}，Theor。计算。科学。286，第1号，第33--63条（2002年；Zbl 1016.68051） 全文： DOI程序
沃尔特·福格勒 异步系统的效率、读弧和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） 全文： DOI程序
詹纳，L。；沃格勒，W。 密集时间内的快速异步系统。 （英语） Zbl 0974.68128号 西奥。计算。科学。 254，第1-2号，379-422（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jenner}和\textit{W.Vogler}，Theor。计算。科学。254，编号1--2，379--422（2001；Zbl 0974.68128） 全文： DOI程序
沃尔特·福格勒 公平性和偏序语义。 （英语） Zbl 0875.68622号 信息处理。莱特。 55，第1期，33-39（1995）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，Inf.过程。莱特。55，第1号，33-39（1995年；Zbl 0875.68622） 全文： DOI程序
沃尔特·福格勒 \（\运算符名称的限制{拆分}_n\)-语言对等。 （英语） Zbl 1412.68157号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 636-647 (1995).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，莱克特。注释计算。科学。944636-647（1995年；Zbl 1412.68157） 全文： DOI程序
沃尔特·福格勒 并发系统的定时测试。 （英语） Zbl 1422.68175号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。700, 532-543 (1993).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，莱克特。注释计算。科学。700、532--543（1993年；Zbl 1422.68175） 全文： DOI程序
沃尔特·福格勒 关于超边替换和BNLC图文法。 （英语） Zbl 0789.68087号 离散应用程序。数学。 46，第3期，253-273（1993）. 审核人：H.J.施耐德（爱尔兰根） MSC公司：2012年第68季度 68兰特 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，离散应用程序。数学。46，第3号，253-273（1993年；兹bl 0789.68087） 全文： DOI程序
沃尔特·福格勒 共刺激和动作精细化。 （英语） Zbl 0778.68060号 西奥。计算。科学。 114，第1期，173-200（1993）.MSC公司：68问题55 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{W.福格勒}，Theor。计算。科学。114，编号1，173--200（1993；Zbl 0778.68060） 全文： DOI程序
沃尔特·福格勒 Petri网的异步通信和转换的细化。 （英语） Zbl 1425.68303号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 605-616 (1992).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，莱克特。注释计算。科学。623605--616（1992年；Zbl 1425.68303） 全文： DOI程序
沃尔特·福格勒 基于区间半词的失败语义是求精的同余。 （英语） Zbl 0723.68069号 分布计算。 4，第3期，139-162（1991）.MSC公司：68问题55 第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}，分布计算。4，第3号，139--162（1991；Zbl 0723.68069） 全文： DOI程序
德克·托布纳；沃尔特·福格勒 步骤失败语义和完整的证明系统。 （英语） Zbl 0689.68105号 学报信息。 第2期第27页，第125-156页（1989年）.MSC公司：68问题55 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Taubner}和\textit{W.Vogler}，《学报》第27期，第2期，第125-156页（1989年；Zbl 0689.68105） 全文： DOI程序
阿内格丽特·哈贝尔；汉斯·约尔格·克鲁斯基；沃尔特·福格勒 超边替换图语言上决策问题的元定理。 （英语） Zbl 0674.68047号 学报信息。 26，第7号，657-677（1989）. 审核人：A.哈贝尔 MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人，《学报》第26期，第7期，第657--677页（1989年；Zbl 0674.68047） 全文： DOI程序