Escrig, Rodríguez, Palomino, 2009. On the Unification of Process Semantics: Equational Semantics 249.. https://doi.org/10.1016/j.entcs.2009.07.093