The semantics of ALIAS defined in mCRL2

Student thesis: Master

Abstract

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

Cite this

'