{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184676},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612285"},{"type":"electronic","value":"9783540683889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61228-9_83","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:17:05Z","timestamp":1153131425000},"page":"122-136","source":"Crossref","is-referenced-by-count":6,"title":["Programmed graph transformations and graph transformation units in GRACE"],"prefix":"10.1007","author":[{"given":"Andy","family":"Sch\u00fcrr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"9_CR1","volume-title":"Dissertation, Technical Report IMMD-7-7","author":"H. Bunke","year":"1974","unstructured":"Bunke H.: Sequentielle und parallele programmierte Graphgrammatiken, Dissertation, Technical Report IMMD-7-7, Universit\u00e4t Erlangen, Germany (1974)"},{"key":"9_CR2","first-page":"155","volume-title":"LNCS 73","author":"H. Bunke","year":"1979","unstructured":"Bunke H.: Programmed Graph Grammars, in: Proc. Int. Workshop on Graph-Grammars and Their Application to Computer Science and Biology, LNCS 73, Springer Verlag, Germany (1979), 155\u2013166"},{"key":"9_CR3","first-page":"453","volume-title":"CACM, no. 18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra E.W.: Guarded Commands, Nondeterminacy, and Formal Derivation of Programs, in CACM, no. 18, acm Press, USA (1975), 453\u2013457"},{"key":"9_CR4","volume-title":"EATCS 18","author":"J. Dassow","year":"1989","unstructured":"Dassow J., Paun G.: Regulated Rewriting in Formal Language Theory, EATCS 18, Springer Verlag, Germany (1989)"},{"key":"9_CR5","series-title":"LNCS 922","volume-title":"Dissertation","author":"H. D\u00f6rr","year":"1995","unstructured":"D\u00f6rr H.: Efficient Graph Rewriting and Its Implementatiion, Dissertation, LNCS 922, Springer Verlag, Germany (1995)"},{"key":"9_CR6","first-page":"135","volume-title":"ACM TOSEM, vol. 1","author":"G. Engels","year":"1992","unstructured":"Engels G., Lewerentz C., Nagl M., Sch\u00e4fer W., Sch\u00fcrr A.: Building Integrated Software Development Environments, in: ACM TOSEM, vol. 1, no. 2, acm Press, USA (1992), 135\u2013167"},{"key":"9_CR7","volume-title":"IFB 178","author":"H. G\u00f6ttler","year":"1988","unstructured":"G\u00f6ttler H.: Graphgrammatiken in der Softwaretechnik, IFB 178, Springer Verlag, Germany (1988)"},{"key":"9_CR8","first-page":"532","volume-title":"LNCS 349","author":"M. Himsolt","year":"1988","unstructured":"Himsolt M.: GraphED: An Interactive Graph Editor, in: Proc. STACS 89, LNCS 349, Springer Verlag, Germany (1988), 532\u2013533"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kreowski H.J., Kuske S.: On the Interleaving Semantics of Transformation Units A Step into GRACE, in: Proc. 5th Int. Workshop Workshop on Graph-Grammars and Their Application to Computer Science, same volume","DOI":"10.1007\/3-540-61228-9_81"},{"key":"9_CR10","unstructured":"Kreowski H.J.: Graph Grammars for Software Specification and Programming: An Eulology in the Praise of GRACE, in: Proc. Colloquium on Graph Transformations and its Applications in Computer Science, Technical Report B-19, Universitat de les Illes Balears, Departament de Ciencies Matematiques i Informatica (1994), 55\u201362"},{"key":"9_CR11","volume-title":"LNCS 690","author":"M. L\u00f6we","year":"1993","unstructured":"L\u00f6we M., Beyer M.: AGG \u2014 An Implementation of Algebraic Graph Rewriting, LNCS 690, Proc. 5th Int. Conf. on Rewriting Techniques and Applications, Springer Verlag, Germany (1993)"},{"key":"9_CR12","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna Z.: Mathematical Theory of Computation, New York: McGraw-Hill, USA (1974)"},{"key":"9_CR13","first-page":"582","volume-title":"LNCS 532","author":"A. Maggiolo-Schettini","year":"1991","unstructured":"Maggiolo-Schettini A., Winkowski J.: Programmed Derivations of Relational Structures, in: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag, Germany (1991), 582\u2013598"},{"key":"9_CR14","volume-title":"Graphgrammatiken","author":"M. Nagl","year":"1979","unstructured":"Nagl M.: Graphgrammatiken, Vieweg Verlag, Germany (1979)"},{"key":"9_CR15","first-page":"517","volume-title":"ACM Transactions on Programming Languages and Systems, vol. 11","author":"G. Nelson","year":"1989","unstructured":"Nelson G.: A Generalization of Dijkstra's Calculus, in ACM Transactions on Programming Languages and Systems, vol. 11, no. 4, acm Press, USA (1989), 517\u2013561"},{"key":"9_CR16","first-page":"641","volume-title":"LNCS 532","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr A.: PROGRES: A VHL-Language Based on Graph Grammars, in: Proc. 4th Int. Workshop on Graph-Grammars and Their Application to Computer Science, LNCS 532, Springer Verlag, Germany (1991), 641\u2013659"},{"key":"9_CR17","volume-title":"Dissertation","author":"A. Sch\u00fcrr","year":"1991","unstructured":"Sch\u00fcrr A.: Operationales Spezifizieren mit programmierten Graphgrammatiken, Dissertation, RWTH Aachen, Deutscher Universit\u00e4tsverlag, Germany (1991)"},{"key":"9_CR18","unstructured":"Sch\u00fcrr A.: Logic Based Programmed Structure Rewriting Systems, appears in: Special Issue on Graph Transformation Systems, Fundamenta Informaticae, North-Holland"},{"key":"9_CR19","first-page":"48","volume-title":"LNCS 570","author":"A. Sch\u00fcrr","year":"1992","unstructured":"Sch\u00fcrr A., Z\u00fcndorf A.: Nondeterministic Control Structures for Graph Rewriting Systems, in Proc. WG'91 Workshop in Graphtheoretic Concepts in Computer Science, LNCS 570, Springer Verlag, Germany (1992), 48\u201362"},{"key":"9_CR20","series-title":"RWTH Aachen, Informatik-Fachberichte 280","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76870-5","volume-title":"Dissertation","author":"B. Westfechtel","year":"1991","unstructured":"Westfechtel B.: Revisionskontrolle in einer integrierten Softwareentwicklungs-Umgebung, Dissertation, RWTH Aachen, Informatik-Fachberichte 280, Springer Verlag, Germany (1991)"},{"key":"9_CR21","volume-title":"Technical Report AIB 92-38","author":"A. Z\u00fcndorf","year":"1992","unstructured":"Z\u00fcndorf A.: Implementation of the Imperative\/Rule Based Language PROGRES, Technical Report AIB 92-38, RWTH Aachen, Germany (1992)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Z\u00fcndorf A.: Eine Entwicklungsumgebung f\u00fcr PROgrammierte GRaphErsetzungs-Systerne, Dissertation, RWTH Aachen (1995)","DOI":"10.1007\/978-3-322-99395-3_6"}],"container-title":["Lecture Notes in Computer Science","Graph Grammars and Their Application to Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61228-9_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:02:03Z","timestamp":1555711323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61228-9_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612285","9783540683889"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61228-9_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}