{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:09:58Z","timestamp":1676941798983},"reference-count":16,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4441,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)80928-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"206-224","source":"Crossref","is-referenced-by-count":4,"title":["A Rewriting Logic Implementation of Erlang"],"prefix":"10.1016","volume":"44","author":[{"given":"Thomas","family":"Noll","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB1","series-title":"\u201cConcurrent Programming in Erlang\u201d","author":"Armstrong","year":"1996"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB2","unstructured":"Arts T., M. Dam, L. Fredlund and D. Gurov, System description: Verification of distributed Erlang programs, in: Proceedings of CADE'98, Lecture Notes in Artificial Intelligence 1421 (1998), pp. 38\u201341."},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB3","unstructured":"Arts T. and T. Noll, Verifying generic Erlang client-server implementations, Technical Report 00-08, Aachen University of Technology, Aachen, Germany (2000), ftp:\/\/ftp.informatik.rwth-aachen.de\/pub\/reports\/2000\/00-08.ps.gz."},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB4","unstructured":"Clarke E. and J. Wing, Formal methods: State of the art and future directions, Technical Report CMU-CS-96-178, Carnegie Mellon University, Pittsburg, USA (1996), http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/1996\/CMU-CS-96-178.ps."},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Clavel M., F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer and J. Quesada, The Maude system, in: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA '99), Lecture Notes in Computer Science 1631 (1999), pp. 240\u2013243.","DOI":"10.1007\/3-540-48685-2_18"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB6","first-page":"150","article-title":"Toward parametric verification of open distributed systems","volume":"1536","author":"Dam","year":"1998","journal-title":"Compositionality: the Significant Difference"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Huch F., Verification of Erlang programs using abstract interpretation and model checking, ACM SIGPLAN Notices 34 (1999), pp. 261\u2013272, proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99).","DOI":"10.1145\/317636.317908"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB8","series-title":"Advances in Computing Science","first-page":"150","article-title":"Truth \u2014 a verification platform for concurrent systemsin: Tool Support for System Specification, Development, and Verification","author":"Lange","year":"1999"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Leucker M. and T. Noll, Rapid prototyping of specification language implementations, in: Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (1999), pp. 60\u201365.","DOI":"10.1109\/IWRSP.1999.779032"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Meseguer J., Rewriting logic as a semantic framework for concurrency: a progress report, in: Seventh International Conference on Concurrency Theory (CONCUR'96), Lecture Notes in Computer Science 1119 (1996), pp. 331\u2013372.","DOI":"10.1007\/3-540-61604-7_64"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB12","first-page":"313","article-title":"Completeness results for basic narrowing","volume":"5","author":"Middeldorp","year":"1994","journal-title":"Journal of Applicable Algebra in Engineering, Communication and Computing"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Noll T., On coherence properties in term rewriting models of concurrency, in: Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS 1664 (1999), pp. 478\u2013493.","DOI":"10.1007\/3-540-48320-9_33"},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB14","unstructured":"CCITT Specification and Description Language (SDL), Technical Report 03\/93, International Telecommunication Union (1993), http:\/\/www.itu.int\/."},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB15","unstructured":"Viry P., Rewriting: An effective model of concurrency, in: Proceedings of PARLE '94 - Parallel Architectures and Languages Europe, Lecture Notes in Computer Science 817 (1994), pp. 648\u2013660."},{"key":"10.1016\/S1571-0661(04)80928-9_NEWBIB16","unstructured":"Viry P., Rewriting modulo a rewrite system, Technical Report TR-95-20, Dipartimento di Informatica, Universita di Pisa (1995), ftp:\/\/ftp.di.unipi.it\/pub\/techreports\/TR-95-20.ps.Z."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809289?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809289?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T05:55:52Z","timestamp":1549173352000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809289"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["S1571066104809289"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80928-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}