scientific article
From MaRDI portal
Publication:4063610
zbMath0306.18005MaRDI QIDQ4063610
Jesse B. Wright, James W. Thatcher, Joseph A. Goguen, Eric G. Wagner
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Categories of machines, automata (18B20) Functor categories, comma categories (18A25) Controllability, observability, and system structure (93B99) Axiomatic systems theory (93A05)
Related Items
An approach for data type specification and its use in program verification, Varieties of chain-complete algebras, Recursion-closed algebraic theories, Unnamed Item, Discrete-time machines in closed monoidal categories. I, Parallel realization of systems, using factorizations and quotients in categories, Varieties of ordered algebras, A constructive method for abstract algebraic software specification, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
