Universal Coinductive Characterisations of Process Semantics | Publicación