Syntax Check and Linearization of mCRL Specifications


Table of Contents

mcrl — timed mCRL parser and (untimed) LPE generator