Abstract
Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popular......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
