亚历克斯·克林哈默;阿里·埃布纳西尔 关于参数化环上活锁自由度和自稳定的验证。 （英语） Zbl 1433.68254号 ACM事务处理。计算。日志。 第20条第3款第16条第36页（2019年）. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68平方米 网络协议 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：自稳定;分布式程序;参数化系统;程序验证 PDF格式BibTeX公司 XML格式引用 \textit{A.Klinkhamer}和\textit{A.Ebnenasir}，ACM翻译。计算。日志。20，第3号，第16条，第36页（2019年；Zbl 1433.68254） 全文： 内政部