Change the number representation in the mCRL files from unary to base ten. This enhances and simplifies computation.
Log in to post a comment.