Process calculi; Coalgebraic semantics; Weak behavioural equivalences; Saturation semantics

Behavioural equivalences for coalgebras with unobservable moves

We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on special order enriched categories, i.e. categories whose hom-sets are …