{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:35:24Z","timestamp":1725712524322},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196679"},{"type":"electronic","value":"9781447138105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-1-4471-3810-5_16","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T16:31:29Z","timestamp":1357835489000},"page":"196-200","source":"Crossref","is-referenced-by-count":0,"title":["An Experiment using Term Rewriting Techniques for Concurrency"],"prefix":"10.1007","author":[{"given":"Carron","family":"Kirkwood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Revised","author":"D Kapur","year":"1989","unstructured":"D. Kapur and H. Zhang, RRL: Rewrite Rule Laboratory User\u2019s Manual, 1987, Revised May 1989."},{"key":"16_CR2","unstructured":"H. Zhang, D. Kapur, M.S. Krishnamoorthy: A Mechanizable Induction Principle for Equational Specifications, Proc. 9th Intl. Conference on Automated Deduction, LNCS 310 (1988)."},{"key":"16_CR3","volume-title":"Technical Report \u2014 Royal Holloway and Bedford New College","author":"C Kirkwood","year":"1990","unstructured":"C. Kirkwood and K. Norrie, Some Experiments using Term Rewriting Techniques for Concurrency. Technical Report \u2014 Royal Holloway and Bedford New College, 1990."},{"key":"16_CR4","first-page":"137","volume":"355","author":"SJ Garland","year":"1989","unstructured":"S.J. Garland, J.V. Guttag: An Overview of LP, The Larch Prover, Proc. Rewriting Techniques and Applications, 3rd Intl. Conference, LNCS 355 (1989), 137\u2013151.","journal-title":"Conference, LNCS"},{"key":"16_CR5","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985. (September 1988)"},{"key":"16_CR6","volume-title":"Springer-Verlag","author":"M Thomas","year":"1989","unstructured":"M. Thomas and K.P. Jantke, Inductive Inference for Solving Divergence in Knuth-Bendix Completion, Proc. Analogical and Inductive Inference `89, GDR, LNCS 367, Springer-Verlag, 1989."},{"key":"16_CR7","volume-title":"Springer-Verlag","author":"St. Lange, Towards a Set of Inference Rules for Solving Divergence in KnuthBendix Completion, Proc","year":"1989","unstructured":"St. Lange, Towards a Set of Inference Rules for Solving Divergence in KnuthBendix Completion, Proc. Analogical and Inductive Inference `89, GDR, LNCS 367, Springer-Verlag, 1989."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"M. Thomas and P. Watson, Solving Divergence in Knuth-Bendix Completion by Enriching Signatures, in preparation, 1990.","DOI":"10.1007\/3-540-51734-0_69"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3810-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T18:14:51Z","timestamp":1644084891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3810-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540196679","9781447138105"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3810-5_16","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1991]]}}}