Searching for "CRL Common Representation Language." – sorted by Relevance.
-
The Syntax and Semantics of uCRL
- on CRL (Common Representation Language) and therefore called uCRL (micro CRL) is proposed. It has been
- Add To MetaCart
-
Checking the Equations for the Mathematical Representation of A-CRL
- that it has developed such a common platform, called CRL (Common Representation Language), for the two
- Add To MetaCart
-
A Formal Verification of the Alternating Bit Protocol in μCRL
- of the derivation precedes the detailed version. The specification language ��CRL (micro CRL), based on CRL (Common
- Add To MetaCart

