Advertisement

Co-algebras as machines for the interpretations of flow diagrams

  • W. Merzenich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 117)

Keywords

Partial Function Algebra Structure Interior Node Control Space Unique Morphism 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADJ77.
    Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Initial Algebra Semantics and Continuous Algebras, J. Assoc. Comp. Mach. 24, 1977 (68–95)Google Scholar
  2. AM74.
    Arbib, W.A.; Manes, E.G.: Machines in a category — an expository introduction, SIAM Review 16, 1974 (163–192)Google Scholar
  3. AT78.
    Adámek, J.; Trnková, V.: Varietors and machines, Tech. Report COINS 78-6, University of Massachusetts, Amherst, 1978Google Scholar
  4. CC76.
    Clark, K.L.; Cowell, D.F.: Programs, Machines and computations, McGraw-Hill, London 1976Google Scholar
  5. DM80.
    Dittrich, G; Merzenich, W.: Unfoldments and coverings of operator-works (to appear)Google Scholar
  6. E77.
    Elgot, C.C.: Some “geometrical” categories associated with flowchart schemes, Lecture Notes in Comp. Sci. 56, Springer Heidelberg 1977 (256–259)Google Scholar
  7. M79.
    Merzenich, W.: Allgemeine Operatornetze als Fixpunktgleichungen, Habilitationsschrift, Universität Dortmund, 1979Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • W. Merzenich
    • 1
  1. 1.Abteilung InformatikUniversität DortmundDortmund 50

Personalised recommendations