Publication:4105777
From MaRDI portal
zbMath0338.68023MaRDI QIDQ4105777
Ugo Montanari, V. Giarratana, F. Gimona
Publication date: 1976
Related Items
On behavioural abstraction and behavioural satisfaction in higher-order logic, Behavioral abstraction is hiding information, Compatibility of parameter passing and implementation of parameterized data types, A systematic study of models of abstract data types, Observational implementation of algebraic specifications, Structured algebraic specifications: A kernel language, Algebraic specification of modules and their basic interconnections, On observational equivalence and algebraic specification, Toward formal development of programs from algebraic specifications: Implementations revisited, Union and actualization of module specifications: Some compatibility results, Specifications in an arbitrary institution, Final algebra semantics and data type extensions, Partial abstract types, Context induction: A proof principle for behavioural abstractions and algebraic implementations, Final algebras, cosemicomputable algebras and degrees of unsolvability, The behavior-realization adjunction and generalized homomorphic relations, Swinging types=functions+relations+transition systems, A hidden agenda, Models of Computation: A Tribute to Ugo Montanari’s Vision, A Category of Explicit Fusions