Abstract
In this paper we look at one of the seminal works of Rob van Glabbeek from a probabilistic angle. We develop the bisimulation spectrum with silent mov......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
