A complete axiomatisation for probabilistic trace equivalence

Student thesis: Master

Abstract

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

Cite this

A complete axiomatisation for probabilistic trace equivalence
Timmers, F. (Author). 26 Nov 2018

Student thesis: Master