{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T21:06:48Z","timestamp":1790284008065,"version":"4.1.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030025076","type":"print"},{"value":"9783030025083","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02508-3_7","type":"book-chapter","created":{"date-parts":[[2018,10,13]],"date-time":"2018-10-13T14:22:47Z","timestamp":1539440567000},"page":"116-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Monoidal Multiplexing"],"prefix":"10.1007","author":[{"given":"Apiwat","family":"Chantawibul","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,10,15]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, July 2004, Turku, pp. 415\u2013425. IEEE CS Press, Washington, DC (2004). \n                      https:\/\/doi.org\/10.1109\/lics.2004.1319636","DOI":"10.1109\/lics.2004.1319636"},{"key":"7_CR2","unstructured":"Baez, J.C., Erbele, J.: Categories in control. arXiv preprint 1405.6881 (2014). \n                      https:\/\/arxiv.org\/abs\/1405.6881"},{"key":"7_CR3","unstructured":"Baez, J.C., Fong, B.: A compositional framework for passive linear networks. arXiv preprint 1504.05625 (2015). \n                      https:\/\/arxiv.org\/abs\/1504.05625"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: Rewriting modulo symmetric monoidal structure. In: Proceedings of 31st Annual ACM\/IEEE Symposium on Logic and Computer Science, LICS 2016, pp. 710\u2013719. ACM Press, New York (2016). \n                      https:\/\/doi.org\/10.1145\/2933575.2935316","DOI":"10.1145\/2933575.2935316"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-662-54434-1_6","volume-title":"Programming Languages and Systems","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: Confluence of graph rewriting with interfaces. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 141\u2013169. Springer, Heidelberg (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-662-54434-1_6"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: Rewriting with Frobenius. In: Proceedings of 33rd Annual ACM\/IEEE Symposium on Logic and Computer Science, LICS 2018, July 2018, Oxford, pp. 165\u2013174. ACM Press, New York (2018). \n                      https:\/\/doi.org\/10.1145\/3209108.3209137","DOI":"10.1145\/3209108.3209137"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Holland, J., Pavlovic, D., Soboci\u0144ski, P.: Refinement for signal flow graphs. In: Meyer, R., Nestmann, U. (eds.) Proceedings of 28th International Conference on Concurrency Theory, CONCUR 2017, September 2017, Berlin, Leibniz International Proceedings in Informatics, vol. 85, p. 24. Dagstuhl Publishing, Saarbr\u00fccken, Wadern (2017). \n                      https:\/\/doi.org\/10.4230\/lipics.concur.2017.24","DOI":"10.4230\/lipics.concur.2017.24"},{"key":"7_CR8","unstructured":"Bonchi, F., Pavlovic, D., Sobocinski, P.: Functorial semantics for relational theories. arXiv preprint 1711.08699 (2017). \n                      https:\/\/arxiv.org\/abs\/1711.08699"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Full abstraction for signal flow graphs. In: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, January 2015, Mumbai, pp. 515\u2013526. ACM Press, New York (2015). \n                      https:\/\/doi.org\/10.1145\/2676726.2676993","DOI":"10.1145\/2676726.2676993"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.ic.2016.03.002","volume":"252","author":"F Bonchi","year":"2017","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: The calculus of signal flow diagrams I: linear relations on streams. Inf. Comput. 252, 2\u201329 (2017). \n                      https:\/\/doi.org\/10.1016\/j.ic.2016.03.002","journal-title":"Inf. Comput."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.jlamp.2017.12.002","volume":"95","author":"F Bonchi","year":"2018","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: Deconstructing Lawvere with distributive laws. J. Log. Algebr. Methods Program. 95, 128\u2013146 (2018). \n                      https:\/\/doi.org\/10.1016\/j.jlamp.2017.12.002","journal-title":"J. Log. Algebr. Methods Program."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","volume-title":"Automata, Languages and Programming","author":"B Coecke","year":"2008","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 298\u2013310. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-70583-3_25"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317","volume-title":"Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning","author":"B Coecke","year":"2017","unstructured":"Coecke, B., Kissinger, A.: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017). \n                      https:\/\/doi.org\/10.1017\/9781316219317"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Fong, B., Rapisarda, P., Soboci\u0144ski, P.: A categorical approach to open and interconnected dynamical systems. In: Proceedings of 31st Annual ACM\/IEEE Symposium on Logic and Computer Science, LICS 2016, July 2016, New York, NY, pp. 495\u2013504. ACM Press, New York (2016). \n                      https:\/\/doi.org\/10.1145\/2933575.2934556","DOI":"10.1145\/2933575.2934556"},{"issue":"7","key":"7_CR15","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1080\/00927877608822127","volume":"4","author":"T Fox","year":"1976","unstructured":"Fox, T.: Coalgebras and cartesian categories. Commun. Algebr. 4(7), 665\u2013667 (1976). \n                      https:\/\/doi.org\/10.1080\/00927877608822127","journal-title":"Commun. Algebr."},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Ghani, N., Hedges, J., Winschel, V., Zahn, P.: Compositional game theory. In: Proceedings of 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2018, July 2018, Oxford, pp. 472\u2013481. ACM Press, New York (2018). \n                      https:\/\/doi.org\/10.1145\/3209108.3209165","DOI":"10.1145\/3209108.3209165"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-38164-5_5","volume-title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky","author":"DR Ghica","year":"2013","unstructured":"Ghica, D.R.: Diagrammatic reasoning for delay-insensitive asynchronous circuits. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. LNCS, vol. 7860, pp. 52\u201368. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-38164-5_5"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Ghica, D.R., Jung, A.: Categorical semantics of digital circuits. In: Proceedings of 2016 Conference on Formal Methods in Computer-Aided Design, FMCAD 2016, October 2016, Mountain View, CA, pp. 41\u201348. IEEE CS Press, Washington, DC (2016). \n                      https:\/\/doi.org\/10.1109\/fmcad.2016.7886659","DOI":"10.1109\/fmcad.2016.7886659"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-642-31113-0_16","volume-title":"Mathematics of Program Construction","author":"R Hinze","year":"2012","unstructured":"Hinze, R.: Kan extensions for program optimisation or: art and dan explain an old trick. In: Gibbons, J., Nogueira, P. (eds.) MPC 2012. LNCS, vol. 7342, pp. 324\u2013362. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-31113-0_16"},{"key":"7_CR20","unstructured":"Lack, S.: Composing PROPs. Theory Appl. Categ. 13, 147\u2013163 (2004). \n                      http:\/\/www.tac.mta.ca\/tac\/volumes\/13\/9\/13-09abs.html"},{"issue":"5","key":"7_CR21","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"FW Lawvere","year":"1963","unstructured":"Lawvere, F.W.: Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. USA 50(5), 869\u2013872 (1963). \n                      https:\/\/doi.org\/10.1073\/pnas.50.5.869","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"7_CR22","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. Am. Math. Soc. 71, 40\u2013106 (1965). \n                      https:\/\/doi.org\/10.1090\/s0002-9904-1965-11234-4","journal-title":"Bull. Am. Math. Soc."},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Pir\u00f3g, M., Wu, N.: String diagrams for free monads (functional pearl). In: Proceedings of 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, September 2016, Nara, pp. 490\u2013501. ACM Press, New York (2016). \n                      https:\/\/doi.org\/10.1145\/2951913.2951947","DOI":"10.1145\/2951913.2951947"},{"key":"7_CR24","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. 6269, pp. 554\u2013568. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-15375-4_38"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-40206-7_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"P Soboci\u0144ski","year":"2013","unstructured":"Soboci\u0144ski, P.: Nets, relations and linking diagrams. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 282\u2013298. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-40206-7_21"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2018"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02508-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T02:48:47Z","timestamp":1583203727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02508-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030025076","9783030025083"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02508-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"15 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stellenbosch","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"South Africa","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ictac.org.za\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}