Rot, Jurriaan; Bonsangue, Marcello Structural congruence for bialgebraic semantics. (English) Zbl 1353.68173 J. Log. Algebr. Methods Program. 85, No. 6, 1268-1291 (2016). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. Rot} and \textit{M. Bonsangue}, J. Log. Algebr. Methods Program. 85, No. 6, 1268--1291 (2016; Zbl 1353.68173) Full Text: DOI
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
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan Rational operational models. (English) Zbl 1334.68137 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 257-282 (2013). MSC: 68Q65 68Q45 68Q85 PDFBibTeX XMLCite \textit{S. Milius} et al., Electron. Notes Theor. Comput. Sci. 298, 257--282 (2013; Zbl 1334.68137) Full Text: DOI