A complete axiomatisation for probabilistic trace equivalence

Scriptie/Masterproef: Master

Samenvatting

Datum prijs26 nov 2018
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1)

Citeer dit

A complete axiomatisation for probabilistic trace equivalence
Timmers, F. (Auteur). 26 nov 2018

Scriptie/Masterproef: Master