Ferry Timmers: A complete axiomatisation for probabilistic trace equivalence
–
In the thesis a complete axiomatisation is given for probabilistic trace equivalence for finite
processes. The axiomatisation is remarkably complex, which may explain that nobody formulated
such a complete axiomatisation yet.