Paper “Behavioural equivalences for coalgebras with unobservable moves” on JLAMP

The paper Behavioural equivalences for coalgebras with unobservable moves, by Tomasz Brengos and MADSLab members Marino Miculan and Marco Peressotti, has been published on the Special Issue of the Journal of Logical and Algebraic Methods in Programming dedicated to the OPCT 2014 Research Seminar.