Tomasz Brengos

Latest

• Behavioural equivalences for coalgebras with unobservable moves