The following pages link to (Q4721633):
Displayed 4 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)