From µCRL to mCRL2: Motivation and Outline

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko. From µCRL to mCRL2: Motivation and Outline. Electronic Notes in Theoretical Computer Science, 162:191-196, 2006. [doi]

Abstract

Abstract is missing.