Termination in Convex Sets of Distributions

Ana Sokolova, Harald Woracek. Termination in Convex Sets of Distributions. In Filippo Bonchi, Barbara König 0001, editors, 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.