The formal specification language mCRL2 (2007)

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