Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDFBibTeX XMLCite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan Presenting distributive laws. (English) Zbl 1448.68324 Log. Methods Comput. Sci. 11, No. 3, Paper No. 2, 23 p. (2015). MSC: 68Q65 18C15 68Q45 68Q55 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., Log. Methods Comput. Sci. 11, No. 3, Paper No. 2, 23 p. (2015; Zbl 1448.68324) Full Text: DOI
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra Sound and complete axiomatizations of coalgebraic language equivalence. (English) Zbl 1353.68186 ACM Trans. Comput. Log. 14, No. 1, Article No. 7, 52 p. (2013). MSC: 68Q70 18C20 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., ACM Trans. Comput. Log. 14, No. 1, Article No. 7, 52 p. (2013; Zbl 1353.68186) Full Text: DOI arXiv
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan Presenting distributive laws. (English) Zbl 1394.68238 Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 95-109 (2013). MSC: 68Q65 18C15 68Q45 68Q55 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., Lect. Notes Comput. Sci. 8089, 95--109 (2013; Zbl 1394.68238) Full Text: DOI arXiv
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan Context-free languages, coalgebraically. (English) Zbl 1344.68152 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 359-376 (2011). MSC: 68Q70 18C20 PDFBibTeX XMLCite \textit{J. Winter} et al., Lect. Notes Comput. Sci. 6859, 359--376 (2011; Zbl 1344.68152) Full Text: DOI