Pages that link to "Item:Q1603815"
From MaRDI portal
The following pages link to A coalgebraic equational approach to specifying observational structures (Q1603815):
Displaying 8 items.
- Complete sets of cooperations (Q618169) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Integrating observational and computational features in the specification of state-based, dynamical systems (Q2747940) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- (Q3024911) (← links)
- (Q4484504) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)