Goguen, J.; Meseguer, J. Universal realization, persistent interconnection and implementation of abstract modules. (English) Zbl 0493.68014 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 265-281 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 50 Documents MSC: 68N01 General topics in the theory of software 08B05 Equational logic, Mal’tsev conditions 18B20 Categories of machines, automata 68P05 Data structures Keywords:models for software system components; foundations of software engineering; minimal realization; conditional equational theories; parameterized implementations; abstract data types; equational logic; category theory Citations:Zbl 0477.00027 PDFBibTeX XML