{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T18:50:35Z","timestamp":1791139835154,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662445839","type":"print"},{"value":"9783662445846","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44584-6_30","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:21:03Z","timestamp":1408756863000},"page":"435-450","source":"Crossref","is-referenced-by-count":46,"title":["A Categorical Semantics of Signal Flow Graphs"],"prefix":"10.1007","author":[{"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Zanasi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014, 329\u2013366 (2004)","DOI":"10.1017\/S0960129504004153"},{"key":"30_CR2","unstructured":"Baez, J.C.: Network theory (2014), \n                    \n                      http:\/\/math.ucr.edu\/home\/baez\/networks\/"},{"key":"30_CR3","unstructured":"Baez, J.C., Erbele, J.: Categories in control. CoRR, abs\/1405.6881 (2014), \n                    \n                      http:\/\/arxiv.org\/abs\/1405.6881"},{"issue":"1-3","key":"30_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0024-3795(98)10131-3","volume":"284","author":"M. Barnabei","year":"1998","unstructured":"Barnabei, M., Guerrini, C., Montefusco, L.: Some algebraic aspects of signal processing. Linear Algebra and its Applications\u00a0284(1-3), 3\u201317 (1998)","journal-title":"Linear Algebra and its Applications"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Basold, H., Bonsangue, M., Hansen, H.H., Rutten, J.: (co)algebraic characterizations of signal flow graphs. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Panangaden Festschrift. LNCS, vol.\u00a08464, pp. 124\u2013145. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-06880-0_6"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Berstel, J., Reutenauer, C.: Rational series and their languages. EATCS Monographs on Theoretical Computer Science\u00a012 (1988)","DOI":"10.1007\/978-3-642-73235-5"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Interacting bialgebras are Frobenius. In: Muscholl, A. (ed.) FOSSACS 2014. LNCS, vol.\u00a08412, pp. 351\u2013365. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54830-7_23"},{"key":"30_CR8","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Interacting Hopf algebras. CoRR, abs\/1403.7048 (2014), \n                    \n                      http:\/\/arxiv.org\/abs\/1403.7048"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2006.07.005","volume":"366","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci.\u00a0366, 98\u2013120 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U., Soboci\u0144ski, P.: Connector algebras for C\/E and P\/T nets\u2019 interactions. Log. Meth. Comput. Sci.\u00a09(16) (2013)","DOI":"10.2168\/LMCS-9(3:16)2013"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Coecke, B., Duncan, R., Kissinger, A., Wang, Q.: Strong complementarity and non-locality in categorical quantum mechanics. In: LiCS 2012, pp. 245\u2013254 (2012)","DOI":"10.1109\/LICS.2012.35"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0000480","volume-title":"Algebraic Methodology and Software Technology","author":"P. Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Span(Graph): an algebra of transition systems. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 322\u2013336. Springer, Heidelberg (1997)"},{"issue":"9","key":"30_CR13","first-page":"147","volume":"13","author":"S. Lack","year":"2004","unstructured":"Lack, S.: Composing PROPs. Theor. App. Categories\u00a013(9), 147\u2013163 (2004)","journal-title":"Theor. App. Categories"},{"key":"30_CR14","unstructured":"Lahti, B.P.: Signal Processing and Linear Systems. Oxford University Press (1998)"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1090\/S0002-9904-1965-11234-4","volume":"71","author":"S. Mac Lane","year":"1965","unstructured":"Mac Lane, S.: Categorical algebra. Bull. Amer. Math. Soc.\u00a071, 40\u2013106 (1965)","journal-title":"Bull. Amer. Math. Soc."},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Mason, S.J.: Feedback Theory: I. Some Properties of Signal Flow Graphs. Massachusetts Institute of Technology, Research Laboratory of Electronics (1953)","DOI":"10.1109\/JRPROC.1953.274449"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Milius, S.: A sound and complete calculus for finite stream circuits. In: LICS (2010)","DOI":"10.1109\/LICS.2010.11"},{"issue":"3","key":"30_CR18","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.tcs.2005.06.019","volume":"343","author":"J.J.M.M. Rutten","year":"2005","unstructured":"Rutten, J.J.M.M.: A tutorial on coinductive stream calculus and signal flow graphs. Theor. Comput. Sci.\u00a0343(3), 443\u2013481 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"30_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.entcs.2006.12.018","volume":"170","author":"P. Selinger","year":"2007","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps (extended abstract). Electr. Notes Theor. Comput. Sci.\u00a0170, 139\u2013163 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. arXiv:0908.3347v1 [math.CT] (2009)","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/978-3-642-15375-4_38","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P. Soboci\u0144ski","year":"2010","unstructured":"Soboci\u0144ski, P.: Representations of petri net interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 554\u2013568. Springer, Heidelberg (2010)"},{"key":"30_CR22","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MCS.2007.906923","volume":"27","author":"J.C. Willems","year":"2007","unstructured":"Willems, J.C.: The behavioural approach to open and interconnected systems. IEEE Contr. Syst. Mag.\u00a027, 46\u201399 (2007)","journal-title":"IEEE Contr. Syst. Mag."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2014 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44584-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:14:42Z","timestamp":1558977282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44584-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662445839","9783662445846"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44584-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}