The Syntax and Semantics of CRL

Abstract: "A simple specification language based on CRL (Common Representation Language) and therefore called [mu]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 [mu]CRL has been defined. In effective [mu]CRL equivalence between closed data-terms is decidable and the operational behaviour is finitely branching and computable. This makes effective [mu]CRL a good platform for tooling activities."