(Bi)simulations up-to characterise process semantics | Publicación