德波尔（Frank S。；伊莫·格雷布；马丁·斯特芬 活动对象的终止检测。 （英语） Zbl 1243.68221号 J.日志。阿尔盖布。程序。 81，第4期，541-557（2012）. 摘要：我们研究了基于活动对象的建模语言的死锁检测。为了检测Creol中类似actor的子集中的死锁，我们将重点放在活动对象之间的通信上。为了分析模型，我们将Creol配置转换为具有Linda协调原语的进程代数。翻译保留了模型的死锁行为，并允许我们应用N.Busi公司,R.戈里埃里和G.扎瓦塔罗【Inf.Compute.156，No.1–2，90–121（2000；Zbl 1046.68616号)]检测进程代数中的全局死锁。 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：死锁检测；建模语言；活动对象；进程代数；全局死锁；甲酚 引文：Zbl 1046.68616号 软件：甲酚；丽贝卡 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，J.Log。阿尔盖布。程序。81，第4号，541--557（2012；Zbl 1243.68221） 全文： 内政部 参考文献： [1] Ábrahám，E。；格雷贝，I。；Grüner，A。；Steffen，M.，《面向对象语言与未来和承诺的行为接口描述》，J.Logic Algebr。程序。，78、7、491-518（2009），《2007年西北太平洋时报精选稿件特刊》。该论文是2007年10月早期UiO技术报告TR-364的修订版·Zbl 1187.68130号 [2] Agha，G.A.，《参与者：分布式系统中并发计算的模型》（1986），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [3] 北布西。；Gorrieri，R。；Zavattaro，G.，《关于Linda协调原语的表现力》，Inform。计算。，156, 1-2, 90-121 (2000) ·Zbl 1046.68616号 [4] de Boer，F.S。；克拉克，D。；Johnsen，E.B.，《走向未来的完整指南》，（de Nicola，R.，《编程语言和系统学报》，《程序语言和系统汇编》，第16届欧洲编程研讨会，ESOP 2007，奥地利维也纳，LNCS，第4421卷（2007），Springer），316-330·Zbl 1475.68045号 [5] de Boer，F.S。；Grabe，I.，《同步可重入多线程调用图中的自动死锁检测》（van Leeuwen，J.；Muscholl，A.；Peleg，D.；Pokorn，J.）。；Rumpe，B.，《SOFSEM 2010：计算机科学的理论与实践》，第36届计算机科学理论与实践当前趋势会议。SOFSEM 2010：计算机科学理论与实践，第36届计算机科学理论和实践当前趋势会议，LNCS，第5901卷（2010），Springer），200-211·Zbl 1274.68084号 [6] 芬克尔，A。；Schnoebelen，P.，结构良好的过渡系统无处不在！，理论。计算。科学。，256, 1 (1998) ·Zbl 0973.68170号 [7] 贾奇诺，E。；Laneve，C.，《对象组中死锁的分析》（FMOODS/FORTE.FMOODS/WORTE，《计算机科学讲义》，第6722卷（2011），施普林格出版社），168-182 [8] 约翰森，E.B。；Owe，O.，分布式并发对象的异步通信模型，Softw。系统。型号。，6, 1, 35-58 (2007) [9] 约翰森，E.B。；Owe，O。；Yu，I.C.，Creol:分布式并发系统的类型安全面向对象模型，Theoret。计算。科学。，365, 1-2, 23-66 (2006) ·兹比尔1118.68031 [10] Sirjani，M.，Rebeca：理论应用和工具，（FMCO.FMCO，计算机科学讲稿，第4709卷（2007），施普林格） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。