Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten. Coalgebraic Bisimulation-Up-To. In Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack, editors, SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings. Volume 7741 of Lecture Notes in Computer Science, pages 369-381, Springer, 2013. [doi]
Abstract is missing.