The syntax and semantics of $ mu $ CRL
Jan Friso Groote, Alban Ponse · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1990
A simple specification language based on CRL ( Common Representation Language) and therefore called µCRL (micro CRL) is proposed.It has been developed to study processes with data.So the language contains only basic constructs with an easy semantics.To obtain executability, effective µCRL has been defined.In effective µCRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable.This makes effective µCRL a good platform for tooling activities.