You are about to access our book library "Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control Book 458) full version" .