Coalgebraic trace semantics for probabilistic transition systems based on measure theory / Henning Kerstan ; Barbara König. Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012
Inhalt