Coalgebraic correspondence theory

@inproceedings{pub4816,
    author = {

Schröder, Lutz
 and 

Pattinson, Dirk
},
    editor = {

Ong, Luke
},
    title = {Coalgebraic correspondence theory},
    booktitle = {Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, befindet sich ETAPS 2010, March 20-28, Paphos, Cyprus},
    series = {Lecture Notes in Computer Science},
    year = {2010},
    month = {3},
    volume = {6014},
    pages = {328--342},
    publisher = {Springer}
}