Claudia Faggian - Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms

lmcs:6180 - Logical Methods in Computer Science, April 26, 2022, Volume 18, Issue 2 - https://doi.org/10.46298/lmcs-18(2:5)2022
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal FormsArticle

Authors: 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 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).


Volume: Volume 18, Issue 2
Secondary volumes: Selected Papers of the 4th International Conference on Formal Structures and Deduction (FSCD 2019)
Published on: April 26, 2022
Accepted on: February 3, 2022
Submitted on: March 4, 2020
Keywords: Computer Science - Logic in Computer Science, 68Q10, 68Q42, 68Q87

6 Documents citing this article

Consultation statistics

This page has been seen 2180 times.
This article's PDF has been downloaded 1403 times.