{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:48Z","timestamp":1725663288235},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540187714"},{"type":"electronic","value":"9783540481782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18771-5_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:47:41Z","timestamp":1330199261000},"page":"262-279","source":"Crossref","is-referenced-by-count":3,"title":["Ada-concurrency specified by graph grammars"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Jackel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Francez, N., de Roever, W.: A proof system for communicating sequential processes; ACM TOPLAS vol. 2, no. 3, 1980","DOI":"10.1145\/357103.357110"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M. Extensional behaviour of concurrent, nondeterministic communicating systems; Universit\u00e4t Passau. Bericht MIP 8506, 1985","DOI":"10.1007\/978-3-642-82921-5_6"},{"key":"19_CR3","unstructured":"Engels, G., Sch\u00e4fer, W.: Graph grammar engineering: a method for the development of an integrated programming support environment; Osnabr\u00fccker Schriften zur Mathematik, Reihe I 5\/82"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R.: Communicating sequential processes; CACM 21.8.78, p. 666\u2013677","DOI":"10.1145\/359576.359585"},{"key":"19_CR5","volume-title":"Proceedings WG'84 in graphtheoretic concepts in computer science","author":"C. Lewerentz","year":"1984","unstructured":"Lewerentz, C., Nagl, M.: A formal specification language for software systems defined by graph grammars, in Pape, U: Proceedings WG'84 in graphtheoretic concepts in computer science; Teubner, Linz, 1984"},{"key":"19_CR6","unstructured":"Ada Programming Language, Military Standard 22.01.1983; American National Standards Institute (ANSI\/MIL-STD-1815A-1983)"},{"key":"19_CR7","volume-title":"Einf\u00fchrung in die Programmiersprache Ada","author":"M. Nagl","year":"1982","unstructured":"Nagl, M.: Einf\u00fchrung in die Programmiersprache Ada; Braunschweig\/Wiesbaden, Vieweg, 1982"},{"key":"19_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-01443-0","volume-title":"Graph Grammatiken \u2014 Theorie, Implementierung, Anwendung","author":"M. Nagl","year":"1979","unstructured":"Nagl, M.: Graph Grammatiken \u2014 Theorie, Implementierung, Anwendung; Braunschweig\/Wiesbaden, Vieweg, 1979"},{"key":"19_CR9","volume-title":"A theory of programming languages, part I","author":"T. W. Pratt","year":"1975","unstructured":"Pratt, T. W.: A theory of programming languages, part I; The University of Texas, Austin, 1975"},{"key":"19_CR10","volume-title":"Formale Spezifikation nebenl\u00e4ufiger Konstrukte von Ada mit Graphgrammatiken","author":"M. Jackel","year":"1986","unstructured":"Jackel, M.: Formale Spezifikation nebenl\u00e4ufiger Konstrukte von Ada mit Graphgrammatiken; Dissertation, Osnabr\u00fcck, 1986"}],"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-18771-5_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:15:34Z","timestamp":1605644134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18771-5_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540187714","9783540481782"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-18771-5_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}