M.: The formal specification language mCRL2 (0)

by J F Groote, A Mathijssen, M Reniers, Y Usenko, van Weerdenburg
Venue:In: Proceedings of the Dagstuhl Seminar, 2007. Available from http://www.mcrl2.org