兰齐·本·萨拉赫；马里乌斯·博兹加；奥德·马勒 关于时间自动机中的交错。 （英语） 兹比尔1151.68457 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137465-476（2006）。 摘要：我们提出了一种解决时间自动机状态膨胀问题的方法，该问题是由于动作的交错引起的。我们证明了以下非常令人惊讶的结果：同一组跃迁的不同交错所达到的所有区域的并集是凸的。因此，我们可以通过合并这些区域来改进时间自动机的标准可达性计算。由于时间的推移分布在并集上，我们可以继续从新区域进行后续计算，并完全消除交叉引起的爆炸。有关整个系列，请参见[Zbl 1114.68001号]. 引用于1审查引用于9文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{R.Ben Salah}等人，Lect。票据计算。科学。4137465--476（2006年；Zbl 1151.68457） 全文： 内政部 哈尔