维姆·赫塞林克。 互斥竞赛:验证和并发复杂性。 (英语) Zbl 1375.68079号 正式Asp。计算。 29,No.5,833-852(2017).MSC公司:60年第68季度 68问题85 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。29,No.5,833--852(2017;Zbl 1375.68079) 全文: 内政部
维姆·赫塞林克。 黑白烘焙算法的正确性和并发复杂性。 (英语) Zbl 1342.68348号 正式Asp。计算。 第2期第28期,第325-341页(2016年).MSC公司:68宽10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。28,第2号,325--341(2016;Zbl 1342.68348) 全文: 内政部
维姆·赫塞林克。;马克·伊杰贝马 无饥饿互斥信号量。 (英语) Zbl 1298.68192号 正式Asp。计算。 25,第6期,947-969(2013).MSC公司:68问题85 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{M.IJbema},正式Asp。计算。25,第6号,947--969(2013;Zbl 1298.68192) 全文: 内政部
维姆·赫塞林克。 针对多个进程的分布式资源分配算法。 (英语) 兹比尔1362.68215 Acta信息。 50,第5-6号,297-329(2013).MSC公司:68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Acta Inf.50,No.5--6297--329(2013;Zbl 1362.68215) 全文: 内政部 arXiv公司
维姆·赫塞林克。 验证Lycklama-Hadzilacos对互斥的简化。 (英语) 兹比尔1312.68153 Acta信息。 50,第3期,199-228(2013).MSC公司:68问题85 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《信息学报》50,第3期,199--228(2013;Zbl 1312.68153) 全文: 内政部
亚历克斯·A·阿拉文。;维姆·赫塞林克。 具有有界标记的非原子对偶烘焙算法。 (英语) Zbl 1244.68083号 Acta信息。 48,第2期,67-96(2011). 审核人:伊夫·梅提弗(波尔多) MSC公司:68宽15 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Aravind}和\textit{W.H.Hesselink},《学报》第48期,第2期,第67-96页(2011年;Zbl 1244.68083) 全文: 内政部 链接
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 兹比尔1220.68069 科学。计算。程序。 76,第9期,739-755(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。76,第9号,739--755(2011;Zbl 1220.68069) 全文: 内政部 链接
维姆·赫塞林克。;亚历克斯·A·阿拉文。 线性有界超车的基于队列的互斥。 (英语) Zbl 1217.68137号 科学。计算。程序。 76,第7期,542-554(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{A.A.Aravind},科学。计算。程序。76,第7号,542--554(2011;Zbl 1217.68137) 全文: 内政部
维姆·赫塞林克。;M.I.拉利。 简单的并发垃圾收集几乎没有同步。 (英语) Zbl 1213.68163号 形式方法系统。设计。 36,第2期,148-166(2010).MSC公司:68甲15 68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{M.I.Lali},《形式方法系统》。设计。36,第2号,148--166(2010;Zbl 1213.68163) 全文: 内政部 链接
维姆·赫塞林克。 命令式编程中对偶不确定性的交替状态。 (英语) Zbl 1208.68107号 西奥。计算。科学。 411,编号22-24,2317-2330(2010).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。411,No.22--24,2317--2330(2010;Zbl 1208.68107) 全文: 内政部 链接
亚历克斯·A·阿拉文。;维姆·赫塞林克。 基于队列的互斥算法。 (英语) Zbl 1172.68041号 Acta信息。 46,第1期,73-86(2009).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Aravind}和\textit{W.H.Hesselink},《学报》第46期,第1期,第73-86页(2009年;Zbl 1172.68041) 全文: 内政部 链接
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) Zbl 1283.68207号 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214,3-23(2008)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},电子。注释Theor。计算。科学。214、3--23(2008年;Zbl 1283.68207) 全文: 内政部
维姆·赫塞林克。 无界不确定性下递归的解释。 (英语) 兹伯利0663.68016 西奥。计算。科学。 59,第3期,211-234(1988). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。59,第3号,211--234(1988;Zbl 0663.68016) 全文: 内政部 链接
维姆·赫塞林克。 过渡系统形态中的死锁和公平。 (英语) Zbl 0648.68070号 西奥。计算。科学。 59,第3期,235-257(1988年).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。59,第3号,235--257(1988;Zbl 0648.68070) 全文: 内政部 链接