Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers - Pattinson, Dirk; Schröder, Lutz (Springer Berlin Heidelberg : Imprint: Springer, 2012)