The semantics of ALIAS defined in mCRL2

  • R.J.W. Jonk

Student thesis: Master

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

Cite this

'