On the unification of process semantics: equational semantics (2009)

by David De Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino