The semantics of ALIAS defined in mCRL2

Student thesis: Master

Date of Award26 Sep 2016
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1), D. Hendriks (External coach) & Tom Verhoeff (Supervisor 2)

Cite this

'