{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T18:50:33Z","timestamp":1791139833828,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642402050","type":"print"},{"value":"9783642402067","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40206-7_21","type":"book-chapter","created":{"date-parts":[[2013,8,27]],"date-time":"2013-08-27T03:29:41Z","timestamp":1377574181000},"page":"282-298","source":"Crossref","is-referenced-by-count":8,"title":["Nets, Relations and Linking Diagrams"],"prefix":"10.1007","author":[{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Logic in Computer Science (LiCS 2004). IEEE Press (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"issue":"3","key":"21_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Math. Struct. Comp. Sci.\u00a014(3), 1\u201338 (2004)","journal-title":"Math. Struct. Comp. Sci."},{"key":"21_CR3","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":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-642-23217-6_21","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"R. Bruni","year":"2011","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: A connector algebra for P\/T nets interactions. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol.\u00a06901, pp. 312\u2013326. Springer, Heidelberg (2011)"},{"key":"21_CR5","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. (to appear, 2013)","DOI":"10.2168\/LMCS-9(3:16)2013"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. J. Pure Appl. Algebra\u00a049, 11\u201332 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Coecke, B., Paquette, \u00c9.O., Pavlovic, D.: Classical and quantum structuralism. In: Semantical Techniques in Quantum Computation, pp. 29\u201369. Cambridge University Press (2009)","DOI":"10.1017\/CBO9781139193313.003"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Amer. Journal Math.\u00a035(4), 413\u2013422 (1913)","journal-title":"Amer. Journal Math."},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-38164-5_4","volume-title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky","author":"M.P. Fiore","year":"2013","unstructured":"Fiore, M.P., Campos, M.D.: The algebra of directed acyclic graphs. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Computation, Logic, Games and Quantum Foundations. LNCS, vol.\u00a07860, pp. 37\u201351. Springer, Heidelberg (2013)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci.\u00a050, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR11","unstructured":"Hughes, D.J.D.: Linking diagrams for free. arXiv:0805.1441v1 (2008)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus, i. Adv. Math.\u00a088, 55\u2013112 (1991)","journal-title":"Adv. Math."},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Algebra\u00a019, 193\u2013213 (1980)","journal-title":"J. Pure Appl. Algebra"},{"key":"21_CR14","unstructured":"Kissinger, A.: Synthesising graphical theories. arxiv.org:1202.6079 (2012)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Kock, J.: Frobenius algebras and 2D topological quantum field theories. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511615443"},{"issue":"9","key":"21_CR16","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":"21_CR17","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":"21_CR18","doi-asserted-by":"crossref","unstructured":"Selinger, P.: Dagger compact closed categories and completely positive maps. In: Quantum Programming Languages (QPL 2007). ENTCS, vol.\u00a0170, pp. 139\u2013163 (2007)","DOI":"10.1016\/j.entcs.2006.12.018"},{"key":"21_CR19","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":"21_CR20","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":"21_CR21","unstructured":"Soboci\u0144ski, P., Stephens, O.: Reachability via compositionality in Petri nets. arXiv:1303.1399v1 (2013)"},{"key":"21_CR22","series-title":"LNCS","first-page":"346","volume-title":"CALCO 2013","author":"P. Soboci\u0144ski","year":"2013","unstructured":"Soboci\u0144ski, P., Stephens, O.: Penrose: Putting compositionality to work for petri net reachability. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol.\u00a08089, pp. 346\u2013352. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40206-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T23:17:44Z","timestamp":1558048664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40206-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402050","9783642402067"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40206-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}