Zuluaga Botero, W. J. Coextensive varieties via central elements. (English) Zbl 07385385 Algebra Univers. 82, No. 3, Paper No. 50, 17 p. (2021). MSC: 08B05 03C05 18B05 03C20 PDFBibTeX XMLCite \textit{W. J. Zuluaga Botero}, Algebra Univers. 82, No. 3, Paper No. 50, 17 p. (2021; Zbl 07385385) Full Text: DOI arXiv
Doberkat, Ernst-Erich Using coalgebras and the Giry monad for interpreting game logics – a tutorial. (English) Zbl 1403.68139 Front. Comput. Sci. 11, No. 6, 948-970 (2017). MSC: 68Q85 03B45 03B70 03G30 18C20 68Q87 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, Front. Comput. Sci. 11, No. 6, 948--970 (2017; Zbl 1403.68139) Full Text: DOI arXiv
Beohar, H.; Cuijpers, P. J. L. Open maps in concrete categories and branching bisimulation for prefix orders. (English) Zbl 1351.68178 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 51-66, electronic only (2015). MSC: 68Q85 18B99 PDFBibTeX XMLCite \textit{H. Beohar} and \textit{P. J. L. Cuijpers}, Electron. Notes Theor. Comput. Sci. 319, 51--66 (2015; Zbl 1351.68178) Full Text: DOI