TY - RPRT TI - Behavioural equivalences for coalgebras with unobservable moves AU - Tomasz Brengos AU - Marino Miculan AU - Marco Peressotti PY - 2015 DO - 10.1016/j.jlamp.2015.09.002 UR - https://arxiv.org/abs/1411.0090 ID - 1411.0090 ER -