DMCA

Coalgebraic Bisimulation-Up-To (2013)

by Jurriaan Rot , Marcello Bonsangue , Jan Rutten
Citations:17 - 7 self