Abstract
A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
