Aguirre, A;
Barthe, G;
Hsu, J;
Silva, A;
(2018)
Almost sure productivity.
In:
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018).
(pp. 113.1-113.15).
LIPIcs , Schloss Dagstuhl - Leibniz-Zentrum für Informatik: Prague, Czech Republic.