论文部分内容阅读
用 Baire 度量标准，这份报纸由开发近似 reachability 和近似 bisimulation 等价的观点建议转变系统近似的一个概括框架。建议框架作为一种特殊情况捕获传统的准确等价。近似 reachability 等价比近似 bisimulation 等价粗糙，就像准确的层次一样。因而，两个近似等价满足及物的性质他们能在转变被使用系统近似。