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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.