{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:45:57Z","timestamp":1725453957988},"publisher-location":"Berlin\/Heidelberg","reference-count":62,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540123105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0000099","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:17:45Z","timestamp":1128493065000},"page":"58-81","source":"Crossref","is-referenced-by-count":6,"title":["Aspects of concurrency in graph grammars"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Interactive Systems for Applied Mathematics","author":"C. Christensen","year":"1968","unstructured":"Christensen, C.: An example of the manipulation of directed graphs in the AMBIT\/G programming language, in Klerer\/Reinfelds (Eds.): Interactive Systems for Applied Mathematics, New York: Academic Press 1968."},{"key":"5_CR2","unstructured":"Pfaltz, J.L., Rosenfeld, A.: Web Grammars, Proc. Int. Joint Conf. Art. Intelligence, Washington, 609\u2013619 (1969)."},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/S0019-9958(69)90017-5","volume":"14","author":"A.C. Shaw","year":"1969","unstructured":"Shaw, A.C.: A Formal Description Scheme as a Basis for Picture Processing Systems, Inf. Contr. 14, 9\u201352 (1969).","journal-title":"Inf. Contr."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0019-9958(70)90135-X","volume":"16","author":"U.G. Montanari","year":"1970","unstructured":"Montanari, U.G.: Separable Graphs, Planar Graphs and Web Grammars, Inf. Contr. 16, 243\u2013267 (1970).","journal-title":"Inf. Contr."},{"key":"5_CR5","first-page":"3","volume":"3","author":"H.J. Schneider","year":"1970","unstructured":"Schneider, H.J.: Chomsky-Systeme f\u00fcr partielle Ordnungen, Arbeitsber.d. Inst. f. Math. Masch. u. Datenver. 3, 3, Erlangen (1970).","journal-title":"Arbeitsber.d. Inst. f. Math. Masch. u. Datenver."},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T. Pratt","year":"1971","unstructured":"Pratt, T.: Pair Grammars, Graph Languages and String-to-Graph Translations, Journ. Comp. Sci. 5, 560\u2013595 (1971).","journal-title":"Journ. Comp. Sci."},{"key":"5_CR7","first-page":"113","volume-title":"Frontiers of Pattern Recognition","author":"K.S. Fu","year":"1972","unstructured":"Fu, K.S.: On syntactical pattern recognition and stochastic languages, in S. Watanabe (Ed.): Frontiers of Pattern Recognition, 113\u2013137, New York: Academic Press 1972."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-80732-9_9","volume":"78","author":"H.J. Schneider","year":"1972","unstructured":"Schneider, H.J.: A necessary and sufficient condition for Chomsky-productions over partielly ordered symbol sets, Lect.Not.in Econ.,and Math.Syst. 78, 90\u201398 (1972).","journal-title":"Lect.Not.in Econ.,and Math.Syst."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H. J.: Graph-Grammars: An Algebraic Approach, Proc. of the IEEE Conf. on Automata and Switching Theory, Iowa City 1973, p. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"issue":"Nr.3","key":"5_CR10","first-page":"4","volume":"6","author":"R. Franck","year":"1973","unstructured":"Franck, R., Denert, E., Streng, W.: PLAN2D \u2014 Ein Ansatz zur Definition einer zweidimenslonalen Programmiersprache. Fachgespr\u00e4ch \u00fcber mehrdimensionale Formale Sprachen, Erlangen 1973, Arbeitsber. des Inst. f. Math. Masch. und DV (Informatik) der Univ. N\u00fcrnberg-Erlangen, Bd. 6, Nr.3, 4\u201329.","journal-title":"Arbeitsber. des Inst. f. Math. Masch. und DV (Informatik) der Univ. N\u00fcrnberg-Erlangen"},{"key":"5_CR11","first-page":"56","volume":"3","author":"M. Nagl","year":"1973","unstructured":"Nagl, M.: Eine Pr\u00e4zisierung des Pfaltz\/Rosenfelschen Produktionsbegriffes bei mehrdimensionalen Grammatiken, Arbeitsber. d. Inst. f.Masch. u. DV 6, 3, 56\u201371, Erlangen (1973).","journal-title":"Arbeitsber. d. Inst. f.Masch. u. DV 6"},{"key":"5_CR12","volume-title":"Techn.Rep.CS-74-22","author":"K. Culik II.","year":"1974","unstructured":"Culik, K. II., Lindenmayer, A.: Parallel Rewriting on Graphs and Multidimensional Development, Techn.Rep.CS-74-22, Univ.of Waterloo, Canada (1974)."},{"key":"5_CR13","unstructured":"Gottlieb, C.C., Furtado, A.L.: Data Schemata Based on Directed Graphs, Techn. Rep. 70, Comp. Sci. Dept. Univ. of Toronto (1974), also Int. Journ. Comp. and Inf. Sci. 8, 1, 39\u201373 (1979)."},{"key":"5_CR14","first-page":"302","volume-title":"Lect. Notes in Comp. Sci. 15","author":"B.H. Mayoh","year":"1974","unstructured":"Mayoh, B.H.: Multidimensional Lindenmayer Organisms, Lect. Notes in Comp. Sci. 15, 302\u2013326, Berlin: Springer-Verlag 1974."},{"key":"5_CR15","unstructured":"Ehrig, H.: An Approach to Context-free Parallel Graph-Grammars, Techn. Rep. No. 75-30, Techn. Univ. Berlin, 1975."},{"key":"5_CR16","unstructured":"Ehrig, H., Kreowski, H.-J.: Church-Rosser Theorems leading to Parallel and Canonical Derivations in Graph-Grammars, Techn. Report No. 75-27, Techn. Univ. Berlin (1975)."},{"key":"5_CR17","first-page":"16","volume":"1","author":"M. Nagl","year":"1975","unstructured":"Nagl, M.: Graph Lindenmayer-Systems and Languages, Arbeitsber. d. Inst. f. Math. Masch. u. Datenver. 8, 1, 16\u201363, Erlangen (1975).","journal-title":"Arbeitsber. d. Inst. f. Math. Masch. u. Datenver. 8"},{"key":"5_CR18","unstructured":"ADJ (Goguen, J.A., Thatcher, J.W., Wagner, E.G.): An initial algebra approach to the specification, correctness and implementation of abstract data types; IBM Research Report RC-6487 (1976), Current Trends in Programing Methodology IV: Data Structuring (Ed. Yeh, R.T.) Prentice Hall, N.J. (1978), 80\u2013149."},{"key":"5_CR19","first-page":"425","volume-title":"Automata, Languages, Development","author":"H. Ehrig","year":"1976","unstructured":"Ehrig, H., Kreowski, H.-J.: Parallel Graph Grammars,in \u201cAutomata, Languages, Development\u201d, (Eds. A. Lindenmayer and G. Rozenberg), North-Holland, Amsterdam 1976, 425\u2013442"},{"key":"5_CR20","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-07854-1_188","volume":"45","author":"H. Ehrig","year":"1976","unstructured":"\u2014: Parallelism of Manipulations in Multidimensional Information Structures, Proc. Conf. Math. Foundations of Comp. Sci., Gdansk 1976, Springer Lect. Not. in Comp. Sci. 45 (1976), 284\u2013293.","journal-title":"Springer Lect. Not. in Comp. Sci."},{"key":"5_CR21","unstructured":"Ehrig, H., Rosen, B.K.: Commutativity of Independent Transformations on Complex Objects, IBM Research Report, RC 6251, October 1976."},{"key":"5_CR22","first-page":"443","volume-title":"Automata, Languages, Development","author":"H. Ehrig","year":"1976","unstructured":"Ehrig, H., Rozenberg, G.: Some Definitional Suggestions for Parallel GraphGrammars, in \u201cAutomata, Languages, Development\u201d, (Eds. A. Lindenmayer and G. Rozenberg), North-Holland, Amsterdam 1976, 443\u2013468."},{"key":"5_CR23","first-page":"130","volume-title":"Lect. Not. Comp. Sci. 44","author":"P.L. Vigna Della","year":"1976","unstructured":"Della Vigna, P.L., Ghezzi, C.: Data Structures and Graph Grammars, Lect. Not. Comp. Sci. 44, 130\u2013145, Berlin: Springer Verlag 1976."},{"key":"5_CR24","unstructured":"Kreowski, H.-J.: Kanonische Ableitungssequenzen f\u00fcr Graph-Grammatiken, Techn. Report No. 76-22, Techn. Univ. Berlin, 1976."},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/3-540-08442-8_91","volume":"56","author":"H. Ehrig","year":"1977","unstructured":"Ehrig, H.: Embedding Theorems in the Algebraic Theory of Graph-Grammars, Springer Lect. Not. in Comp. Sci. 56, 245\u2013255, 1977.","journal-title":"Springer Lect. Not. in Comp. Sci."},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-08342-1_16","volume":"52","author":"H. Ehrig","year":"1977","unstructured":"Ehrig, H., Rosen, B.K.: The Mathematics of Record Handling, Springer Lect. Not. in Comp. Sci. 52, 206\u2013220, 1977.","journal-title":"Springer Lect. Not. in Comp. Sci."},{"key":"5_CR27","unstructured":"Negraszus-Patan, G.: Anwendungen der algebraischen Graphentheorie auf die formale Beschreibung und Manipulation eines Datenbankmodells, Diplomarbeit am FB 20, TU Berlin, 1977."},{"key":"5_CR28","unstructured":"Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars, Techn. Report No. 78-28, TU Berlin, (1978); also in LNCS 73 (1979), pp. 1\u201369."},{"key":"5_CR29","first-page":"177","volume":"64","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K., Winkowski, J.: Deriving Structures from Structures, in: Proc. 7th Int. Symp. on Math. Found. of Comp. Sci., Zakopane 1978, LNCS 64 (1978), pp. 177\u2013190; also in IBM Research Report RC 7046 (1978).","journal-title":"LNCS"},{"key":"5_CR30","first-page":"165","volume":"64","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H., Rosen, B.K.: Concurrency of Manipulation in Multidimensional Information Structures, in: Proc. 7th Int. Symp. on Math. Found. of Comp. Sci., Zakopane 1978, LNCS 64 (1978), pp. 165\u2013176, long version in: Techn. Report No. 78-13, TU Berlin (1978).","journal-title":"LNCS"},{"key":"5_CR31","unstructured":"Kreowski, H.-J.: Anwendungen der Algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen, Techn. Report No. 78-15, TU Berlin, April 1978."},{"key":"5_CR32","unstructured":"Padawitz, P.: Graph Grammars and Operational Semantics, Techn. Report No. 78-33, TU Berlin (1978), and in: Proc. of the Int. Workshop on Graph Grammars and Their Applications to Comp. Sci. and Biology, Bad Honnef, 1978, LNCS 73 (1979), pp. 350\u2013366."},{"key":"5_CR33","unstructured":"Ehrig, H., Kreowski, H.-J.: A Graph Grammar Approach to Optimal and Consistency Schedules in Data Base Systems, Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik, Berlin 1979."},{"key":"5_CR34","unstructured":"Ehrig, H., Rosen, B.K.: Commutativity, Parallelism and Concurrency for Transformations of Structures, TU Berlin, Techn. Report No. 79-21, 1979."},{"key":"5_CR35","first-page":"192","volume":"73","author":"H. Ehrig","year":"1979","unstructured":"\u2014: Decomposition of Graph Grammars, Productions and Derivations, LNCS 73 (1979), pp. 192\u2013205.","journal-title":"LNCS"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/BFb0025729","volume":"73","author":"A. Maggiolo-Schettini","year":"1979","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: Processes in Structures, Lect.Not. Comp. Sci. 73, 317\u2013330 (1979).","journal-title":"Lect.Not. Comp. Sci."},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Brauer, W.: Net Theory and Applications, LNCS 84 (1980).","DOI":"10.1007\/3-540-100016"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.-J.: 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.","DOI":"10.1016\/0306-4379(80)90014-9"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Ehrig, H. Rosen, B.K.: The Mathematics of Record Handling, SIAM J. COMPUT, Vol. 9, No. 3, August 1980.","DOI":"10.1137\/0209034"},{"key":"5_CR40","unstructured":"Habel, A.: Concurrency in Graph-Grammatiken, TU Berlin, Techn. Report No. 80-11, March 1980."},{"key":"5_CR41","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01752403","volume":"14","author":"H. Ehrig","year":"1981","unstructured":"Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K., Winkowski, J.: Transformations of Structures: An Algebraic Approach, Math. Syst. Theory 14, pp. 305\u2013334, (1981).","journal-title":"Math. Syst. Theory"},{"key":"5_CR42","unstructured":"Habel, A.: Komposition und Dekomposition von Produktionen zur Manipulation von Graphen, Diplomarbeit, TO Berlin, FB Mathematik (3), April 1981."},{"key":"5_CR43","unstructured":"Kreowski, H.-J.: A Comparison Between Petri-Nets and Graph Grammars, Proc. Graphtheoretic Concepts in Comp. Sci. 1980, LNCS 100 (1981)."},{"key":"5_CR44","series-title":"LNCS 100","volume-title":"Graphtheoretic Concepts in Comp. Sci.","author":"W. Reisig","year":"1981","unstructured":"Reisig, W.: A Graph Grammar Representation of Nonsequential Processes, in H. Noltemeier (Ed.): \u201cGraphtheoretic Concepts in Comp. Sci.\u201d LNCS 100, Berlin: Springer Verlag 1981."},{"key":"5_CR45","unstructured":"Wilharm, A.: Anwendung der Theorie von Graphgrammatiken auf die Spezifikation der Prozess-Steuerung von Eisenbahnsystemen, Tu Berlin, Techn.Rep. No. 81-15, August 1981."},{"key":"5_CR46","unstructured":"Castellani, I., Montanari, U.: Graph Grammars for Distributed Systems, Techn. Report, Univ. of Pisa, 1982."},{"key":"5_CR47","first-page":"24","volume":"16","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H.: Applications of Conditional Graph Productions to Consistency, Synchronization and Scheduling in Data Base Systems, Bulletin of the European Association for Theoretic. Comp. Sci. 16 (Feb. 1982), pp. 24\u201330.","journal-title":"Comp. Sci."},{"key":"5_CR48","unstructured":"Ehrig, H., Habel, A., Rosen, B.K.: Concurrent Transformations of Structures, to appear"},{"key":"5_CR49","volume-title":"Techn. Report No. 36","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Staples, J.: Church-Rosser Properties for Graph Replacement Systems with Distinguished Splitting, Techn. Report No. 36 (1982), Dept. of Comp. Sci., Univ. of Queensland, St. Lucia, Australia, also this vol."},{"key":"5_CR50","unstructured":"Furtado, A.L., Veloso, P.A.S.: Specification of Data Bases through Rewriting Rules, Univ. Catolica, Rio de Janeiro, Brasil; this volume."},{"key":"5_CR51","unstructured":"Genrich, H.J., Jannsens, D., Rozenberg, G., Thiagarajan, P.S.: Generalized Handle Grammars and Their Relation to Petri Nets, Techn. Report, No. 82-01, 1982."},{"key":"5_CR52","unstructured":"Hansen, H.: Concurrency in Algebraischen Spezifikationen, in preparation."},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Habel, A., Kreowski, H.-J.: Context-free Graph Languages Generated by Edge Replacement, TU Berlin and Univ. Bremen, this volume.","DOI":"10.1007\/BFb0000104"},{"key":"5_CR54","unstructured":"Hasler, K.P., L\u00f6we, M, Reisin, F.M.: Algebraic Specification of a User Controlled Interpreter for Algebraic Specifications, Poster Session Proc. 6th Int. Conf. Soft. Eng., Tokyo 1982."},{"key":"5_CR55","unstructured":"Hoffmann, B.: Modeling Compiler Generation by Graph Grammars, TU Berlin, this volume."},{"key":"5_CR56","unstructured":"Jannsens, D., Kreowski, H.-J., Rozenberg, G., Ehrig, H.: Concurrency of Node-Label-Controlled Graph Transformations, Techn. Report, TU Berlin 1982, submitted to SIAM Journal on Comp."},{"key":"5_CR57","volume-title":"An Application of Processes of Transforming Structures to Scheduling Programs Accessing a Relational Data Base","author":"A. Maggiolo-Schettini","year":"1982","unstructured":"Maggiolo-Schettini, A., Winkowski, J.: An Application of Processes of Transforming Structures to Scheduling Programs Accessing a Relational Data Base, Univ. of Torino (Italy) and Polish Academy of Sci. Warsaw (Poland), to appear 1982"},{"key":"5_CR58","unstructured":"Mahr, B., Wilharm, A.: Graph Grammars as a Tool for Description in Comp. Processed Control: A Case Study, (to appear in Proc. of the WG'82)."},{"key":"5_CR59","doi-asserted-by":"crossref","unstructured":"Nagl, M., Engels, G., Gall, R., Sch\u00e4fer, W.: Software Specification by Graph Grammars, Univ. of Osnabr\u00fcck and Univ. of Erlangen; this volume.","DOI":"10.1007\/BFb0000113"},{"key":"5_CR60","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(82)90056-1","volume":"19","author":"P. Padawitz","year":"1982","unstructured":"Padawitz, P.: Graph Grammars and Operational Semantics, Theoret. Comp. Sci. 19 (1982), pp. 117\u2013141.","journal-title":"Theoret. Comp. Sci."},{"key":"5_CR61","unstructured":"Pratt, T.: Formal Specification using H-Graph Grammars, Univ. of Virginia, this volume."},{"key":"5_CR62","unstructured":"Rozenberg, G., Jannsens, D.: NLC Grammars; Univ. of Leiden and Univ. of Antwerp; this volume."}],"container-title":["Lecture Notes in Computer Science","Graph-Grammars and Their Application to Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000099.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T09:07:14Z","timestamp":1706605634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540123105"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/bfb0000099","relation":{},"subject":[]}}