{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:04Z","timestamp":1725515344250},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_9","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"133-150","source":"Crossref","is-referenced-by-count":0,"title":["Linear-Ordered Graph Grammars: Applications to Distributed Systems Design"],"prefix":"10.1007","author":[{"given":"Leila","family":"Ribeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando Lu\u00eds","family":"Dotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\u20132","key":"9_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0304-3975(02)00011-7","volume":"281","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Montanari, U.: Dynamic connectors for concurrency. Theor. Comput. Sci.\u00a0281(1\u20132), 131\u2013176 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1008647417502","volume":"7","author":"A. Corradini","year":"1999","unstructured":"Corradini, A., Gadducci, F.: An algebraic presentation of term graphs via gs-monoidal categories. Applied Categorical Structures\u00a07, 299\u2013331 (1999)","journal-title":"Applied Categorical Structures"},{"issue":"3\u20134","key":"9_CR3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3\u20134), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/11572329_9","volume-title":"Dependable Computing","author":"F. Dotti","year":"2005","unstructured":"Dotti, F., Mendizabal, O., Santos, O.: Verifying fault-tolerant distributed systems using object-based graph grammars. In: Maziero, C.A., Gabriel Silva, J., Andrade, A.M.S., Assis Silva, F.M.d. (eds.) LADC 2005. LNCS, vol.\u00a03747, pp. 80\u2013100. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/978-3-540-25959-6_9","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"F. Dotti","year":"2004","unstructured":"Dotti, F., Ribeiro, L., Santos, O.: Specification and analysis of fault behaviours using graph grammars. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 120\u2013133. Springer, Heidelberg (2004)"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of graph grammars and computing by graph transformation","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., Low\u00eb, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In: Handbook of graph grammars and computing by graph transformation, vol.\u00a02, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"volume-title":"Handbook of graph grammars and computing by graph transformation: Concurrency, parallelism and distribution","year":"1999","key":"9_CR8","unstructured":"Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of graph grammars and computing by graph transformation, vol.\u00a03: Concurrency, parallelism and distribution. World Scientific, Singapore (1999)"},{"issue":"1\/2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1006\/inco.1999.2825","volume":"156","author":"G. Ferrari","year":"2000","unstructured":"Ferrari, G., Montanari, U.: Tile formats for located and mobile systems. Information and Computation\u00a0156(1\/2), 173\u2013235 (2000)","journal-title":"Information and Computation"},{"key":"9_CR10","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Montanari, U.: The tile model. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (2000)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/S0304-3975(01)00362-0","volume":"285","author":"F. Gadducci","year":"2002","unstructured":"Gadducci, F., Montanari, U.: Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Theor. Comput. Sci.\u00a0285(2), 319\u2013358 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR12","unstructured":"Korff, M.: Generalized graph structures with application to concurrent object-oriented systems, Ph.D. thesis, Technische Universit\u00e4t Berlin (1995)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M. Low\u00eb","year":"1993","unstructured":"Low\u00eb, M.: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci.\u00a0109, 181\u2013224 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-64299-4_27","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J., Montanari, U.: Mapping tile logic into rewriting logic. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 62\u201391. Springer, Heidelberg (1998)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45832-8_24","volume-title":"Graph Transformation","author":"U. Montanari","year":"2002","unstructured":"Montanari, U., Ribeiro, L.: Linear ordered graph grammars and their algebraic foundations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 317\u2013333. Springer, Heidelberg (2002)"},{"key":"9_CR16","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of graph grammars and computing by graph transformation: Foundations","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of graph grammars and computing by graph transformation, vol.\u00a01: Foundations. World Scientific, Singapore (1997)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T04:04:36Z","timestamp":1588737876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}