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

by David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino
Venue:In MFPS, volume 249 of Electronic Notes in Theoretical Computer Science