DMCA

Enhanced Coalgebraic Bisimulation (2013)

by J. Rot , F. Bonchi , M. Bonsangue , D. Pous , J. Rutten , A. Silva
Citations:4 - 3 self