# Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms

arXiv: https://arxiv.org/abs/1804.05578 · HTML: https://mlsanity.com/paper/1804.05578/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 16 Apr 2018.

## Built on by (most cited first, 1 of 1)

- [A Distribution Semantics for Probabilistic Term Rewriting](https://mlsanity.com/paper/2410.15081/) (2024)

## Abstract (arXiv)

While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. In this paper we study the question of uniqueness of the result (unique limit distribution), and develop a set of proof techniques to analyze and compare reduction strategies. The goal is to have tools to support the operational analysis of probabilistic calculi (such as probabilistic lambda-calculi) where evaluation allows for different reduction choices (hence different reduction paths).