Abstract
| Date of Award | 26 Nov 2018 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) |
Cite this
A complete axiomatisation for probabilistic trace equivalence
Timmers, F. (Author). 26 Nov 2018
Student thesis: Master
A complete axiomatisation for probabilistic trace equivalence
Student thesis: Master