Parallel realization of systems, using factorizations and quotients in categories

DOI10.1016/0016-0032(76)90077-6zbMath0333.93002OpenAlexW1971784279WikidataQ114215581 ScholiaQ114215581MaRDI QIDQ1228463

Jesse B. Wright, Joseph A. Goguen, Eric G. Wagner, James W. Thatcher

Publication date: 1976

Published in: Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0016-0032(76)90077-6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General systems (93A10) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)

Related Items

Functorial theory of parameterized specifications in a general specification framework, Final algebra semantics and data type extensions, More on advice on structuring compilers and proving them correct, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, A simple transfer lemma for algebraic specifications, Correctness of recursive parallel nondeterministic flow programs, Parameter passing in algebraic specification languages, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, A systematic study of models of abstract data types, Closure functions and general iterates as reflectors

Cites Work

• Discrete-time machines in closed monoidal categories. I
• Categories of $V$-sets
• Decomposition of linear sequential machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item