On Process Equivalence = Equation Solving in CCS.

Raul Monroy Alan Bundy Ian Green On Process Equivalence = Equation Solving in CCS. 53-80 2009 43 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-009-9125-x db/journals/jar/jar43.html#MonroyBG09