Davide Ancona, Pietro Barbieri, Elena Zucca. Enhanced Regular Corecursion for Data Streams. In Claudio Sacerdoti Coen, Ivano Salvo, editors, Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021. Volume 3072 of CEUR Workshop Proceedings, pages 266-280, CEUR-WS.org, 2021. [doi]
Abstract is missing.