The following pages link to (Q4256316):
Displaying 8 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- Integrating observational and computational features in the specification of state-based, dynamical systems (Q2747940) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- (Q3753522) (← links)
- (Q4251109) (← links)
- (Q4549385) (← links)