The following pages link to (Q4520814):
Displayed 9 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)