{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:45:53Z","timestamp":1764557153882},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000479","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"307-321","source":"Crossref","is-referenced-by-count":32,"title":["Span(Graph): A categorical algebra of transition systems"],"prefix":"10.1007","author":[{"given":"Piergiulio","family":"Katis","sequence":"first","affiliation":[]},{"given":"N.","family":"Sabadini","sequence":"additional","affiliation":[]},{"given":"R. F. C.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"21_CR1","unstructured":"A. Arnold, Finite transition systems, Prentice Hall, 1994."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"J. B\u00e8nabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, pages 1\u201377, Springer-Verlag, 1967.","DOI":"10.1007\/BFb0074299"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/BF00122683","volume":"4","author":"S. Bloom","year":"1996","unstructured":"S. Bloom, N. Sabadini, R.F.C Walters, Matrices, machines and behaviors, Applied Categorical Structures, 4: 343\u2013360, 1996.","journal-title":"Applied Categorical Structures"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"C. Brown C. and A. Jeffrey, Allegories of circuits, in: Proc. Logical Foundations of Computer Science, St Petersburg, 1994.","DOI":"10.1007\/3-540-58140-5_7"},{"key":"21_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"A. Carboni and R.F.C. Walters, Cartesian Bicategories I, Journal of Pure and Applied Algebra, 49, pages 11\u201332, 1987.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"21_CR6","unstructured":"J.C. Ebergen, Translating Programs into Delay-insensitive Circuits, PhD thesis, Eindhoven University of Technology, 1987."},{"key":"21_CR7","unstructured":"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."},{"key":"21_CR8","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Communicating sequential processes, Prentice Hall, Englewood Cliffs, NJ, 1985."},{"key":"21_CR9","unstructured":"G. Jones and M. Sheeran, Circuit design in Ruby, in: Formal methods for VLSI design, North-Holland, 1990"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BFb0084235"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A. Joyal","year":"1993","unstructured":"A. Joyal and R. Street, Braided tensor categories, Advances in Mathematics, 102: 20\u201378, 1993.","journal-title":"Advances in Mathematics"},{"key":"21_CR12","volume-title":"Quantum Groups, Graduate Texts in Mathematics","author":"C. Kassel","year":"1995","unstructured":"C. Kassel, Quantum Groups, Graduate Texts in Mathematics, Springer-Verlag, New York, 1995."},{"key":"21_CR13","volume-title":"Computing: Australian Theory Seminar","author":"P. Katis","year":"1994","unstructured":"P. Katis, N. Sabadini, R.F.C. Walters, The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994."},{"issue":"no.2","key":"21_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P. Katis","year":"1997","unstructured":"P. Katis, N. Sabadini, R.F.C. Walters, Bicategories of processes, Journal of Pure and Applied Algebra, 115, no.2, pp 141\u2013178, 1997","journal-title":"Journal of Pure and Applied Algebra"},{"key":"21_CR15","unstructured":"P. Katis, Categories and bicategories of processes, PhD Thesis, University of Sydney, 1996."},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1051\/ita\/1993270605031","volume":"27","author":"W. Khalil","year":"1993","unstructured":"W. Khalil and R.F.C. Walters, An imperative language based on distributive categories II, Informatique Th\u00e9orique et Applications, 27, 503\u2013522, 1993.","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the working mathematician, Springer Verlag, 1970.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Majid, Foundations of quantum field theory, Cambridge 1995.","DOI":"10.1017\/CBO9780511613104"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"D. Park, Concurrency and automata on infinite sequences, in 5th GI Conference on theoretical computer science, 167\u2013183, LNCS 104, Springer, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"21_CR20","first-page":"221","volume-title":"Combinatorial Mathematics and its applications","author":"R. Penrose","year":"1971","unstructured":"R. Penrose, Applications of negative dimensional torsors, in Combinatorial Mathematics and its applications, (D. J. A. Welsh, Ed.) pp. 221\u2013244, Academic Press, New York, 1971."},{"key":"21_CR21","unstructured":"R. Rosebrugh, N. Sabadini, R.F.C. Walters, Minimal realization in bicategories of automata, to appear, Journal of Pure and Applied Algebra."},{"key":"21_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0960129500000918","volume":"6","author":"N. Sabadini","year":"1996","unstructured":"N. Sabadini, S. Vigna, R.F.C. Walters, A note on recursive functions, Mathematical Structures in Computer Science, 6, 127\u2013139, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"21_CR23","unstructured":"N. Sabadini and R.F.C. Walters, On functions and processors: an automata-theoretic approach to concurrency through distributive categories, School of Mathematics and Statistics Research Reports, University of Sydney, (93\u20137), 1993."},{"key":"21_CR24","first-page":"28","volume":"5","author":"N. Sabadini","year":"1993","unstructured":"N. Sabadini, R.F.C. Walters, Henry Weld, Distributive automata and asynchronous circuits, Category Theory and Computer Science 5, Amsterdam, 28\u201332, 1993.","journal-title":"Category Theory and Computer Science"},{"key":"21_CR25","volume-title":"Computing: Australian Theory Seminar","author":"N. Sabadini","year":"1994","unstructured":"N. Sabadini, R.F.C. Walters, Henry Weld, Categories of asynchronous circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994."},{"key":"21_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00872948","volume":"3","author":"R.H. Street","year":"1995","unstructured":"R.H. Street, Higher categories, strings, cubes and simplex equations, Applied Categorical Structures, 3, 29\u201377, 1995.","journal-title":"Applied Categorical Structures"},{"key":"21_CR27","unstructured":"Turaev, Quantum invariants of knots and 3-manifolds, Featured review in Mathematical Reviews MR:95k 57014."},{"key":"21_CR28","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1017\/S0004972700003506","volume":"40","author":"R.F.C. Walters","year":"1989","unstructured":"R.F.C. Walters, Data types in a distributive category, Bull. Austr. Math. Soc., 40:79\u201382, 1989.","journal-title":"Bull. Austr. Math. Soc."},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"R.F.C. Walters, Categories and Computer Science, Carslaw Publications 1991, Cambridge University Press 1992.","DOI":"10.1017\/CBO9780511608872"},{"key":"21_CR30","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S0960129500001468","volume":"2","author":"R.F.C. Walters","year":"1992","unstructured":"R.F.C. Walters, An imperative language based on distributive categories, Mathematical Structures in Computer Science, 2:249\u2013256, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"21_CR31","first-page":"99","volume":"27","author":"W. Zielonka","year":"1985","unstructured":"W. Zielonka, Notes on Finite Asynchronous Automata, RAIRO, 27, 99\u2013135, 1985.","journal-title":"RAIRO"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:22:11Z","timestamp":1586485331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0000479","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}