马修·黑格 具有非原子写入的参数化下推系统。 （英文） Zbl 1246.68156号 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学论文集13，457-468，仅电子版（2011）。 摘要：我们考虑下推系统网络的主/从参数化可达性问题，其中通信是通过仅使用非原子读写的全局存储进行的。我们证明了控制状态可达性问题是可判定的。作为结果的一部分，我们提供了Ehrenfeucht和Rozenberg的一个定理的构造性扩展，以生成与某些类型的CFG等价的NFA。最后，我们证明了非参数化版本是不可判定的。关于整个系列，请参见[Zbl 1237.68015号]. 引用于1审查引用于5文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：验证;并发;下推系统;可达性;参数化系统;非原子性 软件：贝博普 PDF格式BibTeX公司 XML格式引用 \textit{M.Hague}，LIPIcs——莱布尼茨国际程序。通知。13、457--468（2011；Zbl 1246.68156） 全文： 内政部 arXiv公司