{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T07:36:04Z","timestamp":1785569764425,"version":"3.56.0"},"reference-count":24,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1051\/ita:2005028","type":"journal-article","created":{"date-parts":[[2005,7,4]],"date-time":"2005-07-04T16:10:40Z","timestamp":1120493440000},"page":"511-545","source":"Crossref","is-referenced-by-count":144,"title":["Adhesive and quasiadhesive categories"],"prefix":"10.1051","volume":"39","author":[{"given":"Stephen","family":"Lack","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"250","published-online":{"date-parts":[[2005,7,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"P. Baldan, A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari and F. Rossi, Concurrent semantics of algebraic graph transformations, inHandbook of Graph Grammars and Computing by Graph Transformation, edited by H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, World Scientific3(1999) 107\u2013187.","DOI":"10.1142\/9789812814951_0003"},{"key":"R2","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0022-4049(96)00028-X","volume":"119","author":"Brown","year":"1997","journal-title":"J. Pure Appl. Algebra"},{"key":"R3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"Carboni","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"R4","unstructured":"L. Cardelli,Bitonal membrane systems. Draft (2003)."},{"key":"R5","unstructured":"A. Corradini, H. Ehrig, R. Heckel, M. Lowe, U. Montanari and F. Rossi, Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach, inHandbook of Graph Grammars and Computing by Graph Transformation, edited by G. Rozenberg, World Scientific1(1997) 162\u2013245."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"V. Danos and C. Laneve, Graphs for core molecular biology, inInternational Workshop on Computational Methods in Systems Biology, CMSB '03(2003).","DOI":"10.1007\/3-540-36481-1_4"},{"key":"R7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0025714","volume":"73","author":"Ehrig","year":"1979","journal-title":"Lect. Notes Comput. Sci."},{"key":"R8","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg, editors,Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific (1999).","DOI":"10.1142\/4180"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Gajewsky and F. Parisi-Presicce, High-level replacement systems with applications to algebraic specificaitons and Petri Nets, inHandbook of Graph Grammars and Computing by Graph Transformation, edited by H. Ehrig, H.-J. Kreowsky, U. Montanari and G. Rozenberg, World Scientific3(1999) 341\u2013400.","DOI":"10.1142\/9789812814951_0006"},{"key":"R10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0017395","volume":"532","author":"Ehrig","year":"1991","journal-title":"Lect. Notes Comp. Sci."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski and F. Parisi-Presicce, Parallelism and concurrency in high-level replacement systems.Math. Struct. Comp. Sci.1(1991).","DOI":"10.1017\/S0960129500001353"},{"key":"R12","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-24727-2_12","volume":"2987","author":"Ehrig","year":"2004","journal-title":"Lect. Notes Comput. Sci."},{"key":"R13","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, editors,Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism and Distribution. World Scientific (1999).","DOI":"10.1142\/4181"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender and H.J. Schneider, Graph-grammars: an algebraic approach, inIEEE Conf. on Automata and Switching Theory(1973) 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"key":"R15","unstructured":"F. Gadducci and U. Montanari, A concurrent graph semantics for mobile ambients, inMathematical Foundations of Programming Semantics MFPS '01,ENTCS. Elsevier45(2001)."},{"key":"R16","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-08442-8_94","volume":"56","author":"Kreowski","year":"1977","journal-title":"Lect. Notes Comput. Sci."},{"key":"R17","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume":"2987","author":"Lack","year":"2004","journal-title":"Lect. Notes Comput. Sci."},{"key":"R18","doi-asserted-by":"crossref","unstructured":"S. Lack and P. Soboci\u0144ski, Quasitoposes, quasiadhesive categories and Artin glueing, in preparation (2005).","DOI":"10.1051\/ita:2005028"},{"key":"R19","unstructured":"J. Lambek and P.J. Scott,Introduction to higher order categorical logic,Cambridge studies in advanced mathematics. Cambridge University Press7(1986)."},{"key":"R20","unstructured":"R. Milner,Bigraphical reactive systems: Basic theory, Technical Report 523, Computer Laboratory, University of Cambridge (2001)."},{"key":"R21","doi-asserted-by":"crossref","unstructured":"U. Montanari, M. Pistore and F. Rossi, Modelling concurrent, mobile and coordinated systems via graph transformations, inHandbook of Graph Grammars and Computing by Graph Transformation, edited by H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, World Scientific3(1999) 189\u2013268.","DOI":"10.1142\/9789812814951_0004"},{"key":"R22","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor,Handbook of Graph Grammars and Computing by Graph Tranformation, Volume 1: Foundations. World Scientific (1997).","DOI":"10.1142\/3303"},{"key":"R23","first-page":"163","volume":"10","author":"Sassone","year":"2003","journal-title":"Nordic J. Comput."},{"key":"R24","doi-asserted-by":"crossref","unstructured":"V. Sassone and P. Soboci\u0144ski,Congruences for contextual graph-rewriting, Technical Report RS-04-11, BRICS, University of Aarhus (June 2004).","DOI":"10.7146\/brics.v11i11.21836"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2005028\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T03:54:49Z","timestamp":1586318089000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2005028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":24,"journal-issue":{"issue":"3"},"alternative-id":["ita0506"],"URL":"https:\/\/doi.org\/10.1051\/ita:2005028","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}