The Formal Specification Language mCRL2 (2007)

by Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck Van Weerdenburg
Venue:In Proceedings of the Dagstuhl Seminar