维姆·赫塞林克。 相互排斥的锦标赛:验证和并发复杂性。 (英语) Zbl 1375.68079号 正式Asp。计算。 29,第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。计算。 28,第2号,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) 全文: 内政部
维姆·赫塞林克。 针对多个进程的分布式资源分配算法。 (英语) Zbl 1362.68215号 学报信息。 50,第5-6号,297-329(2013).MSC公司:68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Acta Inf.50,编号5-6-297-329(2013;兹bl 1362.68215) 全文: 内政部 arXiv公司 链接
维姆·赫塞林克。 验证Lycklama-Hadzilacos对互斥的简化。 (英语) Zbl 1312.68153号 学报信息。 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) 全文: 内政部
亚历克斯·阿拉文德。;维姆·赫塞林克。 具有有界标记的非原子对偶烘焙算法。 (英语) Zbl 1244.68083号 学报信息。 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) 全文: 内政部 链接
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) Zbl 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) 全文: 内政部 链接
维姆·赫塞林克。;亚历克斯·阿拉文德。 线性有界超车的基于队列的互斥。 (英语) 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) 全文: 内政部 链接
维姆·赫塞林克。 命令式编程中对偶不确定性的交替状态。 (英语) 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) 全文: 内政部 链接
亚历克斯·阿拉文德。;维姆·赫塞林克。 基于队列的互斥算法。 (英语) Zbl 1172.68041号 学报信息。 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) 全文: 内政部 链接
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 兹比尔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) 全文: 内政部
维姆·赫塞林克。 模拟规范的通用扩展。 (英语) Zbl 1133.68044号 Inf.计算。 206,第1号,108-128(2008).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},信息计算。206,第1号,第108-128条(2008;Zbl 1133.68044) 全文: 内政部 链接
维姆·赫塞林克。 重温原子性标准。 (英语) Zbl 1120.68073号 学报信息。 44,第2期,123-151(2007).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报》第44期,第2期,第123--151页(2007年;Zbl 1120.68073) 全文: 内政部
维姆·赫塞林克。 延迟缓存算法的细化验证。 (英语) Zbl 1100.68126号 学报信息。 43,编号3195-222(2006).MSC公司:68周05 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报Inf.43》,第3期,195--222(2006;Zbl 1100.68126) 全文: 内政部
维姆·赫塞林克。 拆分正向模拟以应对活跃度。 (英语) Zbl 1089.68064号 学报信息。 42,编号8-9,583-602(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《信息学报》第42期,第8--9、583--602号(2006年;Zbl 1089.68064) 全文: 内政部
高,H。;J.F.格罗特。;西赫塞林克。 具有开放寻址的无锁动态哈希表。 (英语) Zbl 1264.68217号 分布计算。 18,第1期,21-42(2005).MSC公司:68宽15 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,《分布计算》。18,第1号,21-42(2005年;兹bl 1264.68217) 全文: 内政部 arXiv公司
维姆·赫塞林克。;Jan Friso,格鲁特 通过创建和读取直至删除的无等待并发内存管理(CaRuD)。 (英语) Zbl 1448.68112号 分布计算。 14,第1期,31-39(2001).MSC公司:64岁以下 68兰特 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{J.F.Groote},分布式计算。14、第1号、第31-39号(2001年;Zbl 1448.68112) 全文: 内政部
维姆·赫塞林克。 用于构造握手寄存器的不变量。 (英语) Zbl 1339.68091号 信息处理。莱特。 68,第4期,173-177(1998年).MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Inf.过程。莱特。68,第4号,173--177(1998年;Zbl 1339.68091) 全文: 内政部 链接
维姆·赫塞林克。 Segall的PIF算法的机械证明。 (英语) Zbl 0874.68264号 正式Asp。计算。 9,第2期,208-226(1997).MSC公司:68吨15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。9,第2号,208--226(1997;Zbl 0874.68264) 全文: 内政部
维姆·赫塞林克。 空闲地址的有界延迟。 (英语) Zbl 0849.68031号 学报信息。 33,第3期,233-254(1996年). 审核人:W.H.Hesselink(格罗宁根) MSC公司:第68季度10 68宽10 65年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},《学报》第33期,第3期,第233--254页(1996年;Zbl 0849.68031) 全文: 内政部 链接
维姆·赫塞林克。 递归过程的安全和进度。 (英语) Zbl 0838.68073号 正式Asp。计算。 7,第4号,389-411(1995).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。7,第4号,389--411(1995;Zbl 0838.68073) 全文: 内政部
维姆·赫塞林克。 具有机械证明的无等待线性化。 (英语) Zbl 1448.68110号 分布计算。 9,第1期,21-36(1995年).MSC公司:64岁以下 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},分布计算。9,第1号,第21-36条(1995年;Zbl 1448.68110) 全文: 内政部
维姆·赫塞林克。 带有断言证明的无等待线性化。 (英语) Zbl 1448.68109号 分布计算。 8,No.2,65-80(1994).MSC公司:64岁以下 68米15 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},分布计算。8,第2号,65-80(1994;Zbl 1448.68109) 全文: 内政部
维姆·赫塞林克。 通过堆栈和游戏实现不确定性和递归。 (英语) Zbl 0795.68128号 西奥。计算。科学。 124,第2期,273-295(1994年).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。124,第2号,273--295(1994;Zbl 0795.68128) 全文: 内政部
维姆·赫塞林克。 递归过程的证明规则。 (英语) Zbl 0806.68081号 正式Asp。计算。 第5期,第6期,554-570页(1993年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。5,第6号,554--570(1993;Zbl 0806.68081) 全文: 内政部
维姆·赫塞林克。 无限选择的过程和形式。 (英语) Zbl 0769.68009号 西奥。计算。科学。 99,第1期,第105-119页(1992年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。99,No.1,105--119(1992;Zbl 0769.68009) 全文: 内政部
维姆·赫塞林克。 命令代数、递归和程序转换。 (英语) Zbl 0697.68023号 形式方面计算。 2,第1号,60-104(1990).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},正式Asp。计算。2,编号1,60--104(1990;Zbl 0697.68023) 全文: 内政部
维姆·赫塞林克。 无界不确定性下递归的解释。 (英语) 兹伯利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) 全文: 内政部 链接