UvA-DARE ( Digital Academic Repository ) Expressiveness modulo bisimilarity : a coalgebraic perspective