The following pages link to (Q4105777):
Displayed 20 items.
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- Partial abstract types (Q1169290) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)