{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:52Z","timestamp":1725663292961},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:48:15Z","timestamp":1330199295000},"page":"361-377","source":"Crossref","is-referenced-by-count":7,"title":["Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Wilharm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"25_CR1","series-title":"LNCS","volume-title":"Current Trends in Concurrency","year":"1986","unstructured":"J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds): Current Trends in Concurrency, LNCS 224, Springer-Verlag, Berlin Heidelberg New York Tokyo 1986"},{"key":"25_CR2","volume-title":"Principles of Concurrent Programming","author":"M. Ben-ari","year":"1982","unstructured":"M. Ben-ari: Principles of Concurrent Programming, Prentice-Hall, Hertfordshire 1982"},{"key":"25_CR3","series-title":"LNCS","first-page":"267","volume-title":"Amalgamation of Graph Transformations with Applications to Synchronization, Proc. CAPP '85","author":"P. Boehm","year":"1985","unstructured":"P. Boehm, H.-R. Fonio, A. Habel: Amalgamation of Graph Transformations with Applications to Synchronization, Proc. CAPP '85, LNCS 185, Springer-Verlag, Berlin Heidelberg New York Tokyo 1985, 267\u2013283"},{"key":"25_CR4","series-title":"LNCS","first-page":"20","volume-title":"Graph Grammars for Distributed Systems","author":"I. Castellani","year":"1983","unstructured":"I. Castellani, U. Montanari: Graph Grammars for Distributed Systems, LNCS 153, Springer Verlag, Berlin Heidelberg New York Tokyo 1983, 20\u201338"},{"key":"25_CR5","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. 5 (1980), 225\u2013238","journal-title":"Inform. Syst."},{"key":"25_CR6","volume-title":"Jim Knopf und Lukas der Lokomotivf\u00fchrer","author":"M. Ende","year":"1960","unstructured":"M. Ende: Jim Knopf und Lukas der Lokomotivf\u00fchrer, Thienemann Verlag, Stuttgart 1960"},{"key":"25_CR7","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 University 1981"},{"key":"25_CR8","unstructured":"D. Janssens, H.-J. Kreowski, G. Rozenberg, H. Ehrig: Concurrency of Node-label Controlled Graph Transformations, Technical Report 82-38, U.I.A., University of Antwerp 1982"},{"key":"25_CR9","series-title":"LNCS","first-page":"306","volume-title":"A Comparison Between Petri Nets and Graph Grammars","author":"H.-J. Kreowski","year":"1981","unstructured":"H.-J. Kreowski: A Comparison Between Petri Nets and Graph Grammars, Proc. Int. Workshop WG '80, Bad Honnef, June 1980, LNCS 100, Springer-Verlag, Berlin Heidelberg New York Tokyo 1981, 306\u2013317"},{"key":"25_CR10","first-page":"136","volume-title":"Graph Grammar Derivation Processes","author":"H.-J. Kreowski","year":"1983","unstructured":"H.-J. Kreowski: Graph Grammar Derivation Processes, Proc. Int. Workshop WG '83, Osnabr\u00fcck, June 1983, Trauner Verlag, Linz 1983, 136\u2013150"},{"key":"25_CR11","first-page":"189","volume-title":"Processes on Petri Nets and Graph Grammars","author":"H.-J. Kreowski","year":"1984","unstructured":"H.-J. Kreowski, A. Wilharm: Processes on Petri Nets and Graph Grammars, Proc. Int. Workshop WG '84, Berlin, June 1984, Trauner Verlag, Linz 1984, 189\u2013200"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0304-3975(86)90124-6","volume":"44","author":"H.-J. Kreowski","year":"1986","unstructured":"H.-J. Kreowski, A. Wilharm: Net Processes Correspond to Derivation Processes in Graph Grammars, Theoretical Computer Science 44 (1986), 275\u2013305","journal-title":"Theoretical Computer Science"},{"key":"25_CR13","first-page":"161","volume-title":"Solving Conflicts in Graph Grammar Derivation Processes","author":"H.-J. Kreowski","year":"1985","unstructured":"H.-J. Kreowski, A. Wilharm: Solving Conflicts in Graph Grammar Derivation Processes, Proc. Int. Workshop WG '85, W\u00fcrzburg, June 1985, Trauner Verlag, Linz 1985, 161\u2013180"},{"key":"25_CR14","first-page":"165","volume-title":"Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study, Proc. Int. Workshop WG '82","author":"B. Mahr","year":"1982","unstructured":"B. Mahr, A. Wilharm: Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study, Proc. Int. Workshop WG '82, Hanser Verlag, M\u00fcnchen Wien 1982, 165\u2013176"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner: Calculi for Synchroni and Asynchroni, Theoretical Computer Science 25 (1983), 267\u2013310","journal-title":"Theoretical Computer Science"},{"key":"25_CR16","series-title":"LNCS","volume-title":"Distributed Systems","year":"1985","unstructured":"M. Paul, H.J. Siegert (Eds): Distributed Systems, LNCS 190, Springer-Verlag, Berlin Heidelberg New York Tokyo 1985"},{"key":"25_CR17","first-page":"251","volume-title":"Concurrency","author":"C.A. Petri","year":"1980","unstructured":"C.A. Petri: Concurrency, Proc. Net Theory and Applications, LNCS 84, Springer-Verlag, Berlin Heidelberg New York Tokyo 1980, 251\u2013260"},{"key":"25_CR18","series-title":"LNCS","first-page":"1","volume-title":"The Temporal Semantics of Concurrent Programs","author":"A. Pnueli","year":"1979","unstructured":"A. Pnueli: The Temporal Semantics of Concurrent Programs, LNCS 70, Springer-Verlag, Berlin Heidelberg New York Tokyo 1979, 1\u201320"},{"key":"25_CR19","first-page":"318","volume-title":"An Application of Graph grammars to Net Theory","author":"W. Reisig","year":"1980","unstructured":"W. Reisig: An Application of Graph grammars to Net Theory, Proc. Int. Workshop WG '80, Bad Honnef, June 1980, LNCS 100, Springer-Verlag, Berlin Heidelberg New York Tokyo 1980, 318\u2013325"},{"issue":"4\/5","key":"25_CR20","first-page":"199","volume":"19","author":"P. Starke","year":"1983","unstructured":"P. Starke: Graph Grammars for Petri Net Processes, Elektronische Informationsverarbeitung und Kybernetik EIK 19 4\/5 (1983), 199\u2013233","journal-title":"Elektronische Informationsverarbeitung und Kybernetik EIK"},{"key":"25_CR21","unstructured":"A. Willharm: Anwendung der Theorie von Graphgrammatiken auf die Spezifikation der Prozesssteuerung von Eisenbahnsystemen, Technical Report 81-15, Technische Universit\u00e4t Berlin 1981"}],"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_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:15Z","timestamp":1619558295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18771-5_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540187714","9783540481782"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-18771-5_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}