{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:23Z","timestamp":1725663623314},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551218"},{"type":"electronic","value":"9783540467359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55121-2_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:48:17Z","timestamp":1330249697000},"page":"48-62","source":"Crossref","is-referenced-by-count":7,"title":["Nondeterministic control structures for graph rewriting systems"],"prefix":"10.1007","author":[{"given":"Albert","family":"Z\u00fcndorf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"5_CR1","unstructured":"Dijkstra, E.W.: Guarded Commands, Nondeterminacy, and Formal Derivation of Programs, CACM Vol. 18, No. 8, acm Press (1975), S. 453\u2013457"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Ehrig H., Kreowski H.-J., Rozenberg G. (eds.): Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science; (published in) LNCS, Springer Verlag (1991)","DOI":"10.1007\/BFb0017372"},{"key":"5_CR3","unstructured":"Engels G.: Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung; Ph.D. Thesis, VDI-Verlag (1986)"},{"key":"5_CR4","unstructured":"Engels G., Janning Th., Sch\u00e4fer W.: A Highly Integrated Tool Set for Program Development Support, Proc. ACM SIGSMALL Conf., acm Press(1988), pp.1\u201310"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Engels G., Sch\u00e4fer W.: Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment; in Ehrig et al.(Eds.): Proc. TAPSOFT'85, LNCS 186; Berlin: Springer-Verlag, pp. 179\u2013193","DOI":"10.1007\/3-540-15199-0_12"},{"key":"5_CR6","unstructured":"Hull R., King R.: Semantic Database Modeling: Survey, Applications, and Research Issues; in: ACM Computing Surveys, vol. 19, No. 3, acm Press (1987), pp. 201\u2013260"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Genrich H.J., Janssens D., Rozenberg G., Thiagarajan P.S.: Petri nets and their Relation to Graph Grammars; in [ENR 82], pp. 115\u2013142","DOI":"10.1007\/BFb0000102"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"G\u00f6ttler H.: Graphgrammatiken in der Softwaretechnik; IFB 178, Springer Verlag (1988)","DOI":"10.1007\/978-3-642-74024-4"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Lewerentz C.: Extended Programming in the Large in a Software Development Environment; in: Proc. 3rd. Int. ACM SIGPLAN\/SIGSOFT Symp. on Practical Software Engineering Environments, SIGSOFT Notes, Vol. 13, No. 5, acm Press (1988), pp. 173\u2013182","DOI":"10.1145\/64135.65020"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Nagl M.: Graph-Grammatiken; Vieweg Verlag (1979)","DOI":"10.1007\/978-3-663-01443-0"},{"key":"5_CR11","unstructured":"Nagl M., Sch\u00fcrr A.: A Specification Environment for Graph Grammars; in [EKR 91]"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Nagl M.: An Incremental Compiler as Part of a System for Software Production; IFB 25, Springer Verlag (1980), pp. 29\u201344","DOI":"10.1007\/978-3-642-67600-0_3"},{"key":"5_CR13","unstructured":"Reps T.: Generating Language-Based Environments; Ph.D. Thesis, MIT Press (1984)"},{"key":"5_CR14","volume-title":"Ph.D. Thesis","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen; Ph.D. Thesis, RWTH Aachen (1991)"},{"key":"5_CR15","unstructured":"Sch\u00fcrr A.: PROGRESS: A VHL-Language Based on Graph Grammars; in: [EKR 91]"},{"key":"5_CR16","unstructured":"Sowa J.F.: Conceptual Structures: Information Processing in Minds and Machines; Addison-Wesley (1984)"},{"key":"5_CR17","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog; The MIT Press, Cambridge, Massachusetts, London, England (1986)."},{"key":"5_CR18","volume-title":"Ph.D. Thesis","author":"B. Westfechtel","year":"1991","unstructured":"Westfechtel B.: Revisionskontrolle in einer integrierten Softwareentwicklungsumgebung; Ph.D. Thesis, RWTH Aachen (1991)"},{"key":"5_CR19","volume-title":"Master Thesis","author":"A. Z\u00fcndorf","year":"1989","unstructured":"Z\u00fcndorf A.: Kontrollstrukturen f\u00fcr die Spezifikationssprache PROGRESS; Master Thesis, RWTH Aachen (1989)"}],"container-title":["Lecture Notes in Computer Science","Graph-Theoretic Concepts in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55121-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:41Z","timestamp":1605646661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55121-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551218","9783540467359"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-55121-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}