{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298473},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540522928"},{"type":"electronic","value":"9783540469506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52292-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:30:47Z","timestamp":1330205447000},"page":"94-106","source":"Crossref","is-referenced-by-count":12,"title":["Graph rewriting systems with priorities"],"prefix":"10.1007","author":[{"given":"Michel","family":"Billaud","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Lafon","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Metivier","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Sopena","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.O. Aho","year":"1974","unstructured":"Aho, A.O., Hopcroft, J.E., and Ullman, J.D., The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass., 1974."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-17220-3_8","volume":"256","author":"J.C.M. Baeten","year":"1987","unstructured":"Baeten, J.C.M., Bergstra, J.A., Klop, J.W., Term Rewriting Systems with Priorities, Rewriting Techniques and Applications, Lecture Notes in Comp. Science 256, pp 83\u201394, 1987.","journal-title":"Lecture Notes in Comp. Science"},{"key":"7_CR3","volume-title":"Graphes et Hypergraphes","author":"C. Berge","year":"1970","unstructured":"Berge, C., Graphes et Hypergraphes, Dunod, Paris, 1970."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Billaud, M., Lafon, P., Metivier, Y., Sopena, E., Graph Rewriting Systems with Priorities: Definitions and Applications, Technical Report no 8909, LABRI, Universit\u00e9 Bordeaux I, 1989.","DOI":"10.1007\/3-540-52292-1_7"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"Dijkstra, E.W., and Scholten, C.S, Termination Detection for Diffusing Computations, Information Processing Letters. 11, pp 1\u20134, 1980.","journal-title":"Information Processing Letters"},{"issue":"8","key":"7_CR6","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Comm. ACM, Vol 21 no8 pp 666\u2013676, Aug. 1978.","journal-title":"Comm. ACM"},{"key":"7_CR7","first-page":"278","volume":"256","author":"C.K. Mohan","year":"1987","unstructured":"Mohan, C.K., Priority Rewriting: Semantics, Confluence and Conditionnals, Rewriting Techniques and Applications, Lecture Notes in Comp. Science 256, pp 278\u2013291, 1987.","journal-title":"Lecture Notes in Comp. Science"},{"key":"7_CR8","unstructured":"Raynal, M., Algorithmes Distribu\u00e9s et Protocoles, Eyrolles 1985."},{"key":"7_CR9","unstructured":"Raynal, M., Syst\u00e8mes R\u00e9partis et R\u00e9seaux: Concepts Outils et Algorithmes, Eyrolles 1987."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0020-0190(84)90071-1","volume":"18","author":"R.W. Topor","year":"1984","unstructured":"Topor, R.W., Termination Detection for Distributed Computations, Information Processing Letters 18 (1984) pp 33\u201336.","journal-title":"Information Processing Letters"}],"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-52292-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:54Z","timestamp":1605648234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52292-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540522928","9783540469506"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-52292-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}