A complete axiomatisation for probabilistic trace equivalence

Student thesis: Master

Date of Award26 Nov 2018
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1)

Cite this

'