The following pages link to (Q4256317):
Displayed 5 items.
- 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)
- Towards Behavioral Maude (Q2842559) (← links)
- Greatest Bisimulations for Binary Methods (Q2842564) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)