{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:59:53Z","timestamp":1762624793306,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2022,4,26]],"date-time":"2022-04-26T00:00:00Z","timestamp":1650931200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>While a mature body of work supports the study of rewriting systems, abstract\ntools for Probabilistic Rewriting are still limited. In this paper we study the\nquestion of uniqueness of the result (unique limit distribution), and develop a\nset of proof techniques to analyze and compare reduction strategies. The goal\nis to have tools to support the operational analysis of probabilistic calculi\n(such as probabilistic lambda-calculi) where evaluation allows for different\nreduction choices (hence different reduction paths).<\/jats:p>","DOI":"10.46298\/lmcs-18(2:5)2022","type":"journal-article","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T13:09:18Z","timestamp":1651064958000},"source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms"],"prefix":"10.46298","volume":"Volume 18, Issue 2","author":[{"given":"Claudia","family":"Faggian","sequence":"first","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2022,4,26]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/9386\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/9386\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T20:17:39Z","timestamp":1687292259000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/6180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,26]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-18(2:5)2022","relation":{"has-preprint":[{"id-type":"arxiv","id":"1804.05578v10","asserted-by":"subject"},{"id-type":"arxiv","id":"1804.05578v9","asserted-by":"subject"},{"id-type":"arxiv","id":"1804.05578v7","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"1804.05578","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1804.05578","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2022,4,26]]},"article-number":"6180"}}