Lifting Adjunctions to Coalgebras to (Re)Discover Automata ...

Reference

Henning Kerstan, Barbara König, and Bram Westerbaan. Lifting adjunctions to coalgebras to (re)discover automata constructions. In Proc. of CMCS '14, pages 1–21. Springer, 2014. LNCS 8446.

Suggested BibTeX entry:

@inproceedings{KKW14,
    author = {Henning Kerstan and Barbara K{\"o}nig and Bram Westerbaan},
    booktitle = {Proc. of CMCS '14},
    note = {{LNCS} 8446},
    pages = {1--21},
    publisher = {Springer},
    title = {Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions},
    year = {2014}
}

This work is not available online here.