{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:28Z","timestamp":1725663508677},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:57Z","timestamp":1330254477000},"page":"343-356","source":"Crossref","is-referenced-by-count":3,"title":["Trace rewriting systems"],"prefix":"10.1007","author":[{"given":"Yabo","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David Lorge","family":"Parnas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J. C. M., Bergstra, J. A., and Klop, J. W. \u201cTerm Rewriting Systems with Priorities\u201d Proceedings of the Second International Conference on Rewriting Techniques and Applications, France, Lecture Notes in Computer Science 256, pp. 83\u201394, 1987.","DOI":"10.1007\/3-540-17220-3_8"},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","volume":"3","author":"R. V. Book","year":"1987","unstructured":"Book, R. V. \u201cThue Systems as Rewriting Systems\u201d Journal of Symbolic Computation, 3, pp. 39\u201368, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0747-7171(87)80022-6","volume":"3","author":"N. Dershowitz","year":"1987","unstructured":"Dershowitz, N. \u201cTermination of Rewriting\u201d Journal of Symbolic Computation, 3, pp. 69\u2013116, 1987.","journal-title":"Journal of Symbolic Computation"},{"key":"26_CR4","unstructured":"Goguen, J. A., Thatcher, J. W., and Wagner, E. \u201cAn Initial Algebra Approach to the Specification and Implementation of Abstract Data Types\u201d Current Trends in Programming Methodology IV, R. T. Yeh (ed.), pp. 80\u2013184, Prentice-Hall, 1978."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. Guttag","year":"1978","unstructured":"Guttag, J., and Horning, J. J. \u201cThe Algebraic Specification of Abstract Data Types\u201d Acta Informatica 10, pp. 27\u201352, 1978.","journal-title":"Acta Informatica"},{"issue":"No.12","key":"26_CR6","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/TC.1985.6312209","volume":"C-34","author":"D. Hoffman","year":"1985","unstructured":"Hoffman, D. \u201cThe Specification of Communication Protocols\u201d IEEE Transactions on Computers, Vol. C-34, No. 12, pp. 1102\u20131113, December 1985.","journal-title":"IEEE Transactions on Computers"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Huet, G., Oppen, D. C. \u201cEquations and Rewrite Rules \u2014 A Survey\u201d Formal Language Theory: Perspectives and Open Problems, pp. 349\u2013405, R. Book (ed.), Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"26_CR8","unstructured":"Klop, J. W. \u201cTerm Rewriting Systems\u201d Handbook of Logic in Computer Science, Chapter 6, S. Abramsky, D. Gabby and T. Maibaum (eds.), Oxford University Press, 1992."},{"key":"26_CR9","unstructured":"Manna, Z, and Ness, S. \u201cOn the Termination of Markov Algorithms\u201d Proceedings of 3rd International Conference on System Sciences, pp. 789\u2013792, Hawaii, January 1970."},{"key":"26_CR10","unstructured":"Parnas, D. L. \u201cInformation Distributions Aspects of Design Methodology\u201d Proceedings of IFIP Congress 1971, pp. 26\u201330, 1972."},{"key":"26_CR11","unstructured":"Parnas, D. L., and Madey, J. \u201cFunctional Documentation for Computer Systems Engineering (Version 2)\u201d CRL Report 237, Telecommunications Research Institute of Ontario (TRIO), McMaster University, September 1991."},{"key":"26_CR12","unstructured":"Parnas, D. L., and Wang, Y. \u201cThe Trace Assertion Method of Module Interface Specification\u201d Technical Report 89\u2013261, Telecommunications Research Institute of Ontario (TRIO), Queen's University, 1989. (Available on request from the address shown in title page.)"},{"key":"26_CR13","unstructured":"Robinson, L., and Roubine, O. \u201cSPECIAL \u2014 A Specification and Assertion language\u201d Technical Report CSL-46, Computer Science Laboratory, Stanford Research Institute, 1977."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Toyama, Y. \u201cConfluent Term Rewriting Systems with Membership Conditions\u201d Conditional Terms Rewriting Systems, Lecture Notes in Computer Science 308, pp. 229\u2013241, 1987.","DOI":"10.1007\/3-540-19242-5_17"},{"issue":"No.5","key":"26_CR15","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1002\/spe.4380180505","volume":"18","author":"I. Horebeek van","year":"1988","unstructured":"van Horebeek, I., Lewi, J., and Bevers, E. \u201cAn Exception Handling Method for Constructive Algebraic Specifications\u201d Software Practice and Experience, Vol. 18, No. 5, pp. 443\u2013438, May 1988.","journal-title":"Software Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:35Z","timestamp":1605647015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}