Simulations in coalgebra (0)

by J Hughes, B Jacobs
Venue:Theoretical Comput. Sci