Coalgebraic methods in computer science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012, revised selected papers - Workshop on Coalgebraic Methods in Computer Science (Springer Berlin Heidelberg, 2012)