WSTS的前向分析，第一部分：完备性
摘要：结构良好的过渡系统为计算状态的上涨闭包的前驱集合提供了正确的基础。计算状态的下降闭包的后续集合的有限表示是一个更难的问题：直到现在，缺乏操作下降闭集的理论框架。我们使用来自域论（dcpos和理想补完）的见解，以及拓扑学（sobrifications）方面的新观点，解决了这个问题，并对极限的适当域的概念有了新的认识。
作者：Alain Finkel (LSV), Jean Goubault-Larrecq (LSV)
论文ID：0902.1587
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-02-11