{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:39Z","timestamp":1725663099651},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151982"},{"type":"electronic","value":"9783540393023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15198-2_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:10:37Z","timestamp":1330175437000},"page":"267-283","source":"Crossref","is-referenced-by-count":4,"title":["Amalgamation of graph transformations with applications to synchronization"],"prefix":"10.1007","author":[{"given":"Paul","family":"Boehm","sequence":"first","affiliation":[]},{"given":"Harald-Reto","family":"Fonio","sequence":"additional","affiliation":[]},{"given":"Annegret","family":"Habel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"17_CR1","unstructured":"M.A. Arbib, E.G. Manes: Arrows, Structures, and Functors, Academic Press, New York"},{"key":"17_CR2","unstructured":"P. Boehm, H. Fonio, A. Habel: On Amalgamation of Graph Manipulations; in preparation"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"V. Claus, H. Ehrig, G. Rozenberg, (eds.): Graph Grammars and Their Application to Computer Science and Biology, LNCS 73 (1979)","DOI":"10.1007\/BFb0025713"},{"key":"17_CR4","volume-title":"Specifying Highly Concurrent Data Structure Manipulation","author":"A. Corradini","year":"1984","unstructured":"A. Corradini, P. Degano, U. Montanari: Specifying Highly Concurrent Data Structure Manipulation; Comp. Sci. Dept., Univ. of Pisa, Pisa, April 1984"},{"key":"17_CR5","first-page":"20","volume":"153","author":"I. Castellani","year":"1983","unstructured":"I. Castellani, U. Montanari: Graph Grammars for Distributed Systems, LNCS 153, 20\u201338 (1983)","journal-title":"LNCS"},{"key":"17_CR6","volume-title":"A Model of Distributed Systems Based on Graph Rewriting, Note Cnet 111","author":"P. Degano","year":"1983","unstructured":"P. Degano, U. Montanari: A Model of Distributed Systems Based on Graph Rewriting, Note Cnet 111, Comp. Sci. Dept., Univ. of Pisa, Pisa 1983, submitted for publication"},{"key":"17_CR7","first-page":"1","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars, LNCS 73 (1979), 1\u201369","journal-title":"LNCS"},{"key":"17_CR8","first-page":"58","volume":"153","author":"H. Ehrig","year":"1983","unstructured":"\u2014 Aspects of Concurrency in Graph Grammars, LNCS 153 (1983), 58\u201381","journal-title":"LNCS"},{"key":"17_CR9","unstructured":"H. Ehrig, A. Habel, B.K. Rosen: Concurrent Transformations of Structures: From Graphs to Relational Data Structures; TU Berlin, FB 20, Technical Report No. 83-01, January 1983"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0306-4379(80)90014-9","volume":"5","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, H.-J. Kreowski: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems, Inform. Syst., Vol. 5, pp. 225\u2013238, Pergamon Press Ltd., 1980","journal-title":"Inform. Syst."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Nagl, G. Rozenberg (eds.): Graph Grammars and Their Application to Computer Science, LNCS 153 (1983)","DOI":"10.1007\/BFb0000094"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, H.J. Schneider: Graph-Grammars: An Algebraic Approach, Proc. of the IEEE Conf. on Automata and Switching Theory, Iowa City 1973, pp. 167\u2013180","DOI":"10.1109\/SWAT.1973.11"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0304-3975(80)90016-X","volume":"11","author":"H. Ehrig","year":"1980","unstructured":"H. Ehrig, B.K. Rosen: Parallelism and Concurrency of Graph Manipulations, Theoret. Comp. Sci. 11 (1980), pp. 247\u2013275","journal-title":"Theoret. Comp. Sci."},{"key":"17_CR14","first-page":"192","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"\u2014 Decomposition of Graph Grammar Productions and Derivations, LNCS 73 (1979), pp. 192\u2013205","journal-title":"LNCS"},{"key":"17_CR15","unstructured":"H.-R. Fonio: Amalgamation of Graph Transformations with Application to Synchronization in Distributed Systems, to appear as Techn. Report, TU Berlin, FB 20"},{"key":"17_CR16","unstructured":"A. Habel: Concurrency in Graph-Grammatiken, TU Berlin, FB 20, Technical Report No. 80\u201311, March 1980"},{"key":"17_CR17","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe: A Theory of Communicating Sequential Processes, Techn. Monograph PRG-16, Progr. Research Group, Oxford Univ., 1981"},{"key":"17_CR18","unstructured":"D. Janssens, H.-J. Kreowski, G. Rozenberg, H. Ehrig: Concurrency of Node-label Controlled Graph Transformations, Techn. Report No. 82-38, Univ. of Antwerp, U.I.A. (1982)"},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0065-2458(08)60033-9","volume":"19","author":"H. T. Kung","year":"1980","unstructured":"H.T. Kung: The Structures of Parallel Algorithms, Advances in Computers, Vol. 19, 65\u2013108, Academic Press Inc. 1980","journal-title":"Advances in Computers"},{"key":"17_CR20","unstructured":"B. Mahr, A. Wilharm: Graph Grammars as a Tool for Description in Computer Processed Control: A Case Stude, Proc. 8th Conf. on Graphtheoretic Concepts in Comp. Sci. (WG'82), 165\u2013176 (1982)"},{"key":"17_CR21","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner: Calculi for Synchrony and Asynchrony, Theoret. Comp. Sci. 25 (1983), pp. 267\u2013310","journal-title":"Theoret. Comp. Sci."},{"key":"17_CR22","first-page":"70","volume":"73","author":"M. Nagl","year":"1979","unstructured":"M. Nagl: A Tutorial and Bibliographical Survey on Graph Grammars, LNCS 73 (1979), 70\u2013126","journal-title":"LNCS"},{"key":"17_CR23","first-page":"251","volume":"84","author":"C. A. Petri","year":"1980","unstructured":"C.A. Petri: Concurrency, Proc. Net Theory and Applications, LNCS 84 (1980), 251\u2013260","journal-title":"LNCS"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00289616","volume":"4","author":"B. K. Rosen","year":"1975","unstructured":"B.K. Rosen: Deriving Graphs from Graphs by Applying a Production, Acta Informatica, 4 (1975), pp. 337\u2013357","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15198-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:03Z","timestamp":1605625683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15198-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151982","9783540393023"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-15198-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}