{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T22:30:07Z","timestamp":1775341807573,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212980","type":"print"},{"value":"9783540247272","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_20","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:06:41Z","timestamp":1280761601000},"page":"273-288","source":"Crossref","is-referenced-by-count":91,"title":["Adhesive Categories"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Lack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1142\/9789812814951_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, ch.3","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.3, vol.\u00a03, pp. 107\u2013187. World Scientific, Singapore (1999)"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0022-4049(96)00028-X","volume":"119","author":"R. Brown","year":"1997","unstructured":"Brown, R., Janelidze, G.: Van Kampen theorems for categories of covering morphisms in lextensive categories. J. Pure Appl. Algebra\u00a0119, 255\u2013263 (1997)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"A. Carboni","year":"1993","unstructured":"Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra\u00a084(2), 145\u2013158 (1993)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"20_CR4","unstructured":"Cardelli, L.: Bitonal membrane systems. Draft (2003)"},{"key":"20_CR5","first-page":"162","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A. Corradini","year":"1997","unstructured":"Corradini, A., Ehrig, H., Heckel, R., Lowe, M., Montanari, U., Rossi, F.: Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01, pp. 162\u2013245. World Scientific, Singapore (1997)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Danos, V., Laneve, C.: Graphs for core molecular biology. In: International Workshop on Computational Methods in Systems Biology, CMSB 2003 (2003)","DOI":"10.1007\/3-540-36481-1_4"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"1st Int. Workshop on Graph Grammars","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: 1st Int. Workshop on Graph Grammars. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"20_CR8","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1142\/9789812814951_0006","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, ch.6","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Gajewsky, M., Parisi-Presicce, F.: High-level replacement systems with applications to algebraic specifications and Petri Nets. In: Ehrig, H., Kreowsky, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.6, vol.\u00a03, pp. 341\u2013400. World Scientific, Singapore (1999)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 269\u2013291. Springer, Heidelberg (1991)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. In: Comp. Science, 1 (1991)","DOI":"10.1017\/S0960129500001353"},{"key":"20_CR12","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution","year":"1999","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency, Parallelism and Distribution, vol.\u00a03. World Scientific, Singapore (1999)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: IEEE Conf. on Automata and Switching Theory, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Kreowski, H.-J.: Transformations of derivation sequences in graph grammars. LNCS, vol.\u00a056, pp. 275\u2013286 (1977)","DOI":"10.1007\/978-3-662-40153-8_31"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. Technical Report RS-03-31, BRICS (October 2003)","DOI":"10.7146\/brics.v10i31.21799"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Lack, S., Soboci\u0144ski, P.: Van Kampen squares and adhesive categories (2003) (In Preparation)","DOI":"10.7146\/brics.v10i31.21799"},{"key":"20_CR17","series-title":"Cambridge studies in advanced mathematics","volume-title":"Introduction to higher order categorical logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge studies in advanced mathematics, vol.\u00a07. Cambridge University Press, Cambridge (1986)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R.: Bigraphical reactive systems: Basic theory. Technical Report 523, Computer Laboratory, University of Cambridge (2001)","DOI":"10.1007\/3-540-44685-0_2"},{"key":"20_CR19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1142\/9789812814951_0004","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, ch.4","author":"U. Montanari","year":"1999","unstructured":"Montanari, U., Pistore, M., Rossi, F.: Modelling concurrent, mobile and coordinated systems via graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, ch.4, vol.\u00a03, pp. 189\u2013268. World Scientific, Singapore (1999)"},{"key":"20_CR20","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Foundations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"issue":"2","key":"20_CR21","first-page":"163","volume":"10","author":"V. Sassone","year":"2003","unstructured":"Sassone, V., Soboci\u0144ski, P.: Deriving bisimulation congruences using 2- categories. Nordic Journal of Computing\u00a010(2), 163\u2013183 (2003)","journal-title":"Nordic Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:22:53Z","timestamp":1559359373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}