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

Claudia Faggian

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…