The specification language $mu$CRL and a tool set for manipulation, optimisation and state space generation are described.

, , ,
, , ,
CWI
Software Engineering [SEN]

Wouters, A.G. (2001). Manual for the $ mu CRL $ tool set (version 2.8.2). Software Engineering [SEN]. CWI.