Skip to main content

Co-algebras as machines for the interpretations of flow diagrams

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 117))

Included in the following conference series:

  • 154 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. Arbib, W.A.; Manes, E.G.: Machines in a category — an expository introduction, SIAM Review 16, 1974 (163–192)

    Google Scholar 

  3. Adámek, J.; Trnková, V.: Varietors and machines, Tech. Report COINS 78-6, University of Massachusetts, Amherst, 1978

    Google Scholar 

  4. Clark, K.L.; Cowell, D.F.: Programs, Machines and computations, McGraw-Hill, London 1976

    Google Scholar 

  5. Dittrich, G; Merzenich, W.: Unfoldments and coverings of operator-works (to appear)

    Google Scholar 

  6. Elgot, C.C.: Some “geometrical” categories associated with flowchart schemes, Lecture Notes in Comp. Sci. 56, Springer Heidelberg 1977 (256–259)

    Google Scholar 

  7. Merzenich, W.: Allgemeine Operatornetze als Fixpunktgleichungen, Habilitationsschrift, Universität Dortmund, 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Ferenc Gécseg

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Merzenich, W. (1981). Co-algebras as machines for the interpretations of flow diagrams. In: Gécseg, F. (eds) Fundamentals of Computation Theory. FCT 1981. Lecture Notes in Computer Science, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10854-8_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-10854-8_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10854-2

  • Online ISBN: 978-3-540-38765-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics