托马斯·怀斯;达米安·祖弗里;托马斯·亨辛格（Thomas A.Henzinger）。 深度边界过程的正向分析。 （英语） 兹比尔1284.68419 Ong，Luke（编辑），《软件科学和计算结构基础》。2010年3月20日至28日，第13届国际会议FOSSACS 2010，作为欧洲软件理论与实践联合会议ETAPS 2010的一部分，在塞浦路斯帕福斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12031-2/pbk）。计算机科学课堂讲稿6014，94-108（2010）。 摘要：深度有界过程形成了\（\pi\）-微积分中最具表现力的片段，对于这些片段，有趣的验证问题仍然是可以决定的。在本文中，我们为由深度边界过程诱导的结构良好的过渡系统建立了一个充分的极限域。我们的结果的一个直接结果是，存在一个决定此类覆盖问题的正向算法。与反向算法不同，即使进程的深度事先未知，正向算法也会终止。更重要的是，我们的结果建议了一系列能够有效验证大型移动系统的正向算法。关于整个系列，请参见[Zbl 1185.68013号]. 引用于11文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{T.Wies}等人，Lect。票据计算。科学。6014，94-108（2010；Zbl 1284.68419） 全文： 内政部