原名:The Quantitative Linear-Time–Branching-Time Spectrum
作品简介:因此，我们将经典的线性时间分支时间谱扩展到 。如果 d(x, x)=0 .. (s, t)=0 且存在从 s 到 的准备包含，则集合 X 上的函数 d : X × X → R≥0 ∪ {∞} 称为半度量函数。 t, .. Josée Desharnais、François Laviolette 和 Mathieu Tracol。代数，章节……
资源下载
VIP免费升级VIP
