TY  - RPRT
TI  - Enhanced Regular Corecursion for Data Streams
AU  - Davide Ancona
AU  - Pietro Barbieri
AU  - Elena Zucca
PY  - 2021
UR  - https://arxiv.org/abs/2108.00281
ID  - 2108.00281
ER  -