Span(Graph): A categorical algebra of transition systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1349, Issue , 1997, Pages 307-321

  Katis, Piergiulio ^a   Sabadini, N ^b   Walters, R F C ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947918891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0000479     Document Type: Conference Paper

References (31)

1. A. Arnold, Finite transition systems, Prentice Hall, 1994.
2. J. Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, pages 1-77, Springer-Verlag, 1967.
3. S. Bloom, N. Sabadini, R.F.C Walters, Matrices, machines and behaviors, Applied Categorical Structures, 4: 343-360, 1996.
4. C. Brown C. and A. Jeffrey, Allegories of circuits, in: Proc. Logical Foundations of Computer Science, St Petersburg, 1994.
5. A. Carboni and R.F.C. Walters, Cartesian Bicategories I, Journal of Pure and Applied Algebra, 49, pages 11-32, 1987.
6. J.C. Ebergen, Translating Programs into Delay-insensitive Circuits, PhD thesis, Eindhoven University of Technology, 1987.
7. Robbie Gates, P. Katis and R.F.C. Walters, A program for computing with the cartesian bicategory Span(Graph), School of Mathematics and Statistics, University of Sydney, 1996.
8. C.A.R. Hoare, Communicating sequential processes, Prentice Hall, Englewood Cliffs, NJ, 1985.
9. G. Jones and M. Sheeran, Circuit design in Ruby, in: Formal methods for VLSI design, North-Holland, 1990
10. A. Joyal and R. Street, An introduction to Tanaka duality and quantum groups, Category Theory 1990, Como, Lecture Notes in Mathematics 1488, Springer Verlag, 1991.
11. A. Joyal and R. Street, Braided tensor categories, Advances in Mathematics, 102: 20-78, 1993.
12. C. Kassel, Quantum Groups, Graduate Texts in Mathematics, Springer-Verlag, New York, 1995.
13. P. Katis, N. Sabadini, R.F.C. Walters, The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994.
14. P. Katis, N. Sabadini, R.F.C. Walters, Bicategories of processes, Journal of Pure and Applied Algebra, 115, no.2, pp 141-178, 1997
15. P. Katis, Categories and bicategories of processes, PhD Thesis, University of Sydney, 1996.
16. W. Khalil and R.F.C. Walters, An imperative language based on distributive categories II, Informatique Théorique et Applications, 27, 503-522, 1993.
17. S. Mac Lane, Categories for the working mathematician, Springer Verlag, 1970.
18. Majid, Foundations of quantum field theory, Cambridge 1995.
19. D. Park, Concurrency and automata on infinite sequences, in 5th GI Conference on theoretical computer science, 167-183, LNCS 104, Springer, 1981.
20. R. Penrose, Applications of negative dimensional torsors, in Combinatorial Mathematics and its applications, (D. J. A. Welsh, Ed.) pp. 221-244, Academic Press, New York, 1971.
21. R. Rosebrugh, N. Sabadini, R.F.C. Walters, Minimal realization in bicategories of automata, to appear, Journal of Pure and Applied Algebra.
22. N. Sabadini, S. Vigna, R.F.C. Walters, A note on recursive functions, Mathematical Structures in Computer Science, 6, 127-139, 1996.
23. N. Sabadini and R.F.C. Walters, On functions and processors: an automatatheoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93-7), 1993.
24. N. Sabadini, R.F.C. Walters, Henry Weld, Distributive automata and asynchronous circuits, Category Theory and Computer Science 5, Amsterdam, 28-32, 1993.
25. N. Sabadini, R.F.C. Waiters, Henry Weld, Categories of asynchronous circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994.
26. R.H. Street, Higher categories, strings, cubes and simplex equations, Applied Categorical Structures, 3, 29-77, 1995.
27. Turaev, Quantum invariants of knots and 3-manifolds, Featured review in Mathematical Reviews MR:95k 57014.
28. R.F.C. Walters, Data types in a distributive category, Bull. Austr. Math. Soc., 40:79-82, 1989.
29. R.F.C. Walters, Categories and Computer Science, Carslaw Publications 1991, Cambridge University Press 1992.
30. R.F.C. Walters, An imperative language based on distributive categories, Mathematical Structures in Computer Science, 2:249-256, 1992.
31. W. Zielonka, Notes on Finite Asynchronous Automata, RAIRO, 27, 99-135, 1985.