实空间过程代数 电子书下载

原名:Real space process algebra
作品简介:抽象的。 Baeten 和 Bergstra 的实时过程代数 [Formal Aspects of.计算 当然是这些。对应.. Delta 转换。现在我们构建..描述可以在[KoM90, LaM87]中找到。在图中。……