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]

Authors

Jan Friso Groote

Identified as Jan Friso Groote
(Eindhoven University of Technology
)

Aad Mathijssen

This author has not been identified. Look up 'Aad Mathijssen' in Google

Muck van Weerdenburg

This author has not been identified. Look up 'Muck van Weerdenburg' in Google

Yaroslav S. Usenko

Identified as Yaroslav S. Usenko