Phase space representation of quantum dynamics