TY - RPRT TI - A coalgebraic take on regular and $ω$-regular behaviours AU - Tomasz Brengos PY - 2021 DO - 10.46298/lmcs-17(4:24)2021 UR - https://arxiv.org/abs/1902.02601 ID - 1902.02601 ER -