Behavioural equivalences for coalgebras with unobservable moves
Brengos, Tomasz, Miculan, Marino, Peressotti, Marco
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Get full text
Journal Article