{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299691},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58184-7_138","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:29:46Z","timestamp":1330270186000},"page":"648-660","source":"Crossref","is-referenced-by-count":20,"title":["Rewriting: An effective model of concurrency"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Viry","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"54_CR1","unstructured":"Ilies Alouini. R\u00e9\u00e9criture concurrente: Etude et implantation. M\u00e9moire de DEA en informatique, Universit\u00e9 de Nancy I, September 1993."},{"key":"54_CR2","first-page":"23","volume-title":"The Formal Description Technique LOTOS","author":"T. Bolognesi","year":"1989","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LO-TOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pp. 23\u201373. Elsevier Science Publishers B. V. (North-Holland), 1989."},{"key":"54_CR3","unstructured":"G. Boudol. Computational semantics of term rewriting systems. In M. Nivat and J. C. Reynolds, editors, Application of Algebra to Language definition and Compilation. Prentice-Hall, 1985. Also INRIA research report 192 (1983)."},{"key":"54_CR4","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leuven, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers B. V. (North-Holland), 1990."},{"key":"54_CR5","series-title":"volume 308 of Lecture Notes in Computer Science","first-page":"258","volume-title":"Proceedings 1st International Workshop on Conditional Term Rewriting Systems","author":"J. A. Goguen","year":"1987","unstructured":"J. A. Goguen, C. Kirchner, H. Kirchner, A. M\u00e9grelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France), volume 308 of Lecture Notes in Computer Science, pp. 258\u2013263. Springer-Verlag, July 1987."},{"key":"54_CR6","series-title":"volume 279 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-18420-1_50","volume-title":"Proceedings of Graph Reduction Workshop","author":"J. A. Goguen","year":"1987","unstructured":"J. A. Goguen, C. Kirchner, and J. Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proceedings of Graph Reduction Workshop, volume 279 of Lecture Notes in Computer Science, pp. 53\u201393, Santa Fe (NM, USA), 1987. Springer-Verlag."},{"key":"54_CR7","unstructured":"G. Huet and J.-J. L\u00e9vy. Computations in orthogonal rewriting systems, I. In Jean-Louis Lassez and G. Plotkin, editors, Computational Logic, chapter 11. The MIT Press, 1991."},{"key":"54_CR8","volume-title":"PhD thesis","author":"H. Hussmann","year":"1988","unstructured":"H. Hussmann. Nondeterministic Algebraic Specifications. PhD thesis, Universit\u00e4t Passau (Germany), September 1988. English literal translation, Nov. 1990."},{"issue":"No.4","key":"54_CR9","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J.-P. Jouannaud","year":"1986","unstructured":"J.-P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. SIAM Journal of Computing, Vol. 15, No. 4, pp. 1155\u20131194, 1986.","journal-title":"SIAM Journal of Computing"},{"key":"54_CR10","volume-title":"Rewriting: Theory and Applications","author":"C. Kirchner","year":"1991","unstructured":"C. Kirchner and H. Kirchner. Rewriting: Theory and Applications. Elsevier Science Publishers B. V. (North-Holland), 1991."},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"C. Kirchner and P. Viry. Implementing parallel rewriting. In B. Fronh\u00f6fer and G. Wrightson, editors, Parallelization in Inference Systems, volume 590 of Lecture Notes in Artificial Intelligence, pp. 123\u2013138. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55425-4_5"},{"key":"54_CR12","series-title":"volume 632 of Lecture Notes in Computer Science","volume-title":"Axiomatising permutation equivalence in the \u03bb-calculus","author":"C. Laneve","year":"1992","unstructured":"C. Laneve and U. Montanari. Axiomatising permutation equivalence in the \u03bb-calculus. In H. Kirchner and G. Levi, editors, Proceedings 3rd International Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science. Springer-Verlag, September 1992."},{"key":"54_CR13","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical Report CSL-93-05, SRI International, 1993."},{"key":"54_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, Vol. 96, pp. 73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"54_CR15","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A logical theory of concurrent objects and its realization in the maude language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"54_CR16","unstructured":"R. Milner. Communication and concurrency. Prentice-Hall International Series in Computer Science. Prentice-Hall, 1989."},{"key":"54_CR17","doi-asserted-by":"crossref","unstructured":"P. Viry. Rewriting: an effective model of concurrency. Internal report 94-R-046, Centre de Recherche en Informatique de Nancy, 1994.","DOI":"10.1007\/3-540-58184-7_138"},{"key":"54_CR18","unstructured":"Patrick Viry. La r\u00e9\u00e9criture concurrente. Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 de Nancy I, 1992."}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_138.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:51:29Z","timestamp":1713628289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_138","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}