Date of Award | 26 Nov 2018 |
---|---|
Original language | English |
Supervisor | Jan Friso Groote (Supervisor 1) |
A complete axiomatisation for probabilistic trace equivalence
Student thesis: Master
Student thesis: Master
Date of Award | 26 Nov 2018 |
---|---|
Original language | English |
Supervisor | Jan Friso Groote (Supervisor 1) |