Symbolic and Asynchronous Semantics via Normalized Coalgebras (Logical Methods in Computer Science, 2011)