Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-23T01:16:48.116Z Has data issue: false hasContentIssue false
  • English
  • Français

The duality between flow charts and circuits

Published online by Cambridge University Press:  17 April 2009

S. Kasangian  and
R.F.C. Walters
S. Kasangian
Affiliation:
Dipartimento di Matematica, Universitá di Milano via Saldini, 50 Milano, Italy
R.F.C. Walters
Affiliation:
Department of Pure, Mathematics University of Sydney, NSW 2006, Australia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This paper contains a precise description of the duality between the formal evolutions of flow charts and of circuits. In addition, it contains a new description of the free category-with-products on a multigraph as a familially representable construction.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 42 , Issue 1 , August 1990 , pp. 71 - 79
Copyright
Copyright © Australian Mathematical Society 1990

References

[1]Arbib, M.A. and Manes, E.G., Algebraic approaches to program semantics (Springer-Verlag, Berlin, Heidelberg, New York, 1986).Google Scholar
[2]Diers, Y., Doctoral Thesis (Université de Paris VI, 1977).Google Scholar
[3]Elgot, C.C., Algebraic theories and program schemes, Symposium on the semantics of algorithmic languages (Springer-Verlag, Berlin, Heidelberg, New York, 1971).Google Scholar
[4]Johnson, M.S.J., Pasting Diagrams, Ph.D. thesis (University of Sydney, 1987).Google Scholar
[5]Johnson, M.S.J. and Walters, R.F.C., ‘Algebra objects and algebra families for finite limit theories’, in Pure Mathematics Department Research Reports 89–12 (University of Sydney, 1989).Google Scholar
[6]Walters, R.F.C., ‘Data types in distributive categories’, Bull. Austral. Math. Soc. 40 (1989), 79–82.CrossRefGoogle Scholar
[7]Walters, R.F.C., ‘The free category with products on a multigraph’, J. Pure Appl. Algebra (to appear).Google Scholar
[8]Walters, R.F.C., Categories and computer science, 21 lectures (Pure Mathematics Department, University of Sydney, 1988).Google Scholar