Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, march 31 – april 1, 2012, revised selected papers (2012)