Publications

8 results for J.A. Goguen

Initial Algebra Semantics and Continuous Algebras
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1977
- Journal of the ACM
Rational algebraic theories and fixed-point solutions
- - J.B. Wright
  - J.W. Thatcher
  - et al.
- 1976
- FOCS 1976
Parallel realization of systems, using factorizations and quotients in categories
- - J.A. Goguen
  - J.W. Thatcher
  - et al.
- 1976
- Journal of the Franklin Institute
Initial agebra sematics
- - J.A. Goguen
  - J.W. Thatcher
- 1974
- SWAT 1974
Realization is universal
- - J.A. Goguen
- 1972
- Mathematical Systems Theory
On homomorphisms, simulations,correctness and subroutines for programs and program schemes
- - J.A. Goguen
- 1972
- SWAT 1972
Minimal realization of machines in closed categories
- - J.A. Goguen
- 1972
- Bulletin of the American Mathematical Society
Systems and minimal realization
- - J.A. Goguen
- 1971
- CDC 1971