We define an equivalence relation on recursive specifications in process algebra that is model-independent and does not involve an explicit notion of solution. Then we extend this equivalence to the specification language $mu$CRL.

, , , ,
, ,
CWI
Software Engineering [SEN]
Specification and Analysis of Embedded Systems

van der Poorten, A.J, & Usenko, Y.S. (2001). Equivalence of recursive specifications in process algebra. Software Engineering [SEN]. CWI.