×
加文·洛

发现并纠正通道实现中的死锁。 （英语） Zbl 1425.68297号

正式Asp。计算。 31,4号，411-419（2019）.

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

消息传递并发;渠道实施;模型检查;CSP公司

软件：

FDR3公司
PDF格式BibTeX公司 XML格式引用
\textit{G.Lowe}，正式Asp。计算。31，第4号，411--419（2019；Zbl 1425.68297）
全文： 内政部

参考文献：

[1] Antonino P、Gibson-Robinson T、Roscoe AW（2016）使用局部分析和SAT求解进行高效死锁自由检查。摘自：IFM会议记录，第9681卷，第345-360页。LNCS公司
[2] Antonino P、Gibson-Robinson T、Roscoe AW（2016）《死锁自由分析的更严格可达性标准》。收录：FM会议录，第9995卷。LNCS公司·Zbl 1427.68179号
[3] Antonino P、Gibson-Robinson T、Roscoe AW（2017）使用SAT检查自动检测标记结构和不变量。收录于：TACAS会议记录，第10206卷，第249-265页。LNCS公司·Zbl 1453.68109号
[4] Brookes，S.D.，Roscoe，A.W.：通信过程网络中的死锁分析。分布式计算4209-230（1991）·Zbl 0717.68006号 ·doi:10.1007/BF01784721
[5] Gibson-Robinson T、Armstrong P、Boulgakov A、Roscoe AW（2014）FDR3-CSP的现代精炼检查器。在：系统构建和分析的工具和算法论文集（TACAS），第8413卷。LNCS公司·Zbl 1392.68300号
[6] Lawrence J（2005）CSP和FDR在软件设计中的实际应用。In：沟通连续过程：前25年。计算机科学课堂讲稿，第3525卷，第151-174页。柏林施普林格·Zbl 1081.68583号
[7] Lowe G（1996）使用FDR破坏和修复Needham-Schoreder公钥协议。摘自：TACAS会议记录。计算机科学课堂讲稿，第1055卷，第147-166页。柏林施普林格。另见《软件概念和工具》（1996）17:93-102
[8] Lowe G（2011）使用CSP在验证设计中实施通用alt的案例研究。在：通信过程架构，第1-34页
[9] Lowe G（2018）具有组件标识的系统的视图抽象。摘自：正式方法国际研讨会论文集（FM 2018），第10951卷，第502-522页。柏林施普林格·Zbl 1460.68063号
[10] Lowe G（2019）使用视图抽象对具有组件标识的系统进行参数化验证。提交出版
[11] JMR Martin（1996）无死锁并发系统的设计和构造。白金汉大学博士论文
[12] Mota，A.、Sampaio，A.：模型选择CSP-Z：策略、工具支持和工业应用。计算机编程科学40（1），59-96（2001）·Zbl 0973.68152号 ·doi:10.1016/S0167-6423（00）00023-X
[13] Oracle AtomicBoolean（Java SE9和JDK 9）。https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/atomic/AtomicBoolean.html。2019年7月11日访问
[14] Oracle AtomicReference（Java SE9&JDK 9）。https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/atomic/AtomicReference.html。2019年7月11日访问
[15] Oracle锁支持（Java SE9和JDK 9）。https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/locks/LockSupport.html。2019年7月11日访问
[16] 罗斯科，A.W.，达蒂，N.：对僵局自由的追求。《Inf Compute》75（3），289-327（1987）·Zbl 0626.68019号 ·doi:10.1016/0890-5401（87）90004-6
[17] Roscoe，A.W.，Hopkins，D.：SVA，一种分析共享变量程序的工具。AVoCS 2007年会议记录，177-183（2007）
[18] Roscoe，A.W.：理解并发系统。柏林施普林格出版社（2010年）·Zbl 1211.68205号 ·数字对象标识代码：10.1007/978-1-84882-258-0
[19] Sufrin B（2008）通信scala对象。In：通信过程体系结构（CPA）论文集
[20] Welch P，Martin J（2000）Java多线程的CSP模型。摘自：IEEE并行和分布式系统软件工程国际研讨会论文集，第114-122页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。