scientific article; zbMATH DE number 3529404

zbMath0338.68023MaRDI QIDQ4105777

F. Gimona, V. Giarratana, Ugo Montanari

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Complete lattices, completions (06B23) General topics in the theory of software (68N01)

Related Items (24)

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 ⋮ Observational implementations ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ A Category of Explicit Fusions ⋮ Observational implementation of algebraic specifications ⋮ Partial abstract types ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ Final algebras, cosemicomputable algebras and degrees of unsolvability ⋮ Behavioral abstraction is hiding information ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Swinging types=functions+relations+transition systems ⋮ A hidden agenda ⋮ Simplified Coalgebraic Trace Equivalence ⋮ The Foundational Legacy of ASL ⋮ A systematic study of models of abstract data types ⋮ Behavioural satisfaction and equivalence in concrete model categories

This page was built for publication: