Coalgebraic Methods in Computer Science

11. CMCS 2012: Tallinn, Estonia