E.P. de Vink

A Comprehensive History of μCRL and mCRL2

This article gives a historical overview of the background, motivation and development of \mu CRL and its successor mCRL2, from the inception to the present. Both mCRL2 and \mu CRL are similar, compact, but very expressive formalisms based on process algebra, term rewriting, and...