zbMATH — the first resource for mathematics

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).

68N01 General topics in the theory of software
08B05 Equational logic, Mal’tsev conditions
18B20 Categories of machines, automata
68P05 Data structures