单独监控的成本
The Cost of Monitoring Alone
摘要：
我们比较了两个监测系统的简洁性的无限的痕迹，即并行和定期监测的属性。虽然并行监视器可以转换为等价的常规监视器，但这种转换的代价是监视器语法大小的双指数爆炸，而当目标是确定性监视器时，则是三指数爆炸。我们表明，这些界限是紧的，他们也持有相应的片段之间的翻译Hennessy-Milner逻辑递归无限的痕迹。
英文摘要：
We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
