M.: The formal specification language mCRL2 (0)

by J F Groote, A Mathijssen, M Reniers, Y Usenko, van Weerdenburg
Venue:Methods for Modelling Software Systems (MMOSS). Number 06351 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (2007