艾哈迈德·博阿贾尼;马库斯·穆勒·奥尔姆;Taysir Touili 下推系统动态网络的常规符号分析。 （英语） Zbl 1134.68427号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653473-487（2005）。 摘要：我们介绍了两种基于下推系统动态网络的多线程程序抽象模型。我们解决了这些模型的符号可达性分析问题。更准确地说，我们考虑了使用有限状态自动机计算可达集的有效表示的问题。我们证明，虽然前向可达性集合通常不是正则的，但从正则配置集合开始的后向可达性集合总是正则的。我们提供了使用字/树自动机计算向后可达集的算法，并展示了如何将这些算法应用于多线程程序的流分析。关于整个系列，请参见[Zbl 1084.68002号]. 引用于2评论引用于19文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。注释计算。科学。3653473-487（2005年；Zbl 1134.68427） 全文： 内政部