Parallel realization of systems,using factorizations and quotients in categories |
| |
| Authors: | JA Goguen JW Thatcher EG Wagner JB Wright |
| |
| Institution: | Computer Science Department University of California, Los Angeles, California, USA;International Business Machines Thomas J. Watson Research Center, Yorktown Heights, New York, USA |
| |
| Abstract: | A general theorem concerning the parallel representation of systems is proved, using the also general notions of terminal factorization situation and quotient in a category. Applications are given to the decomposition and synthesis of a number of kinds of systems. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
