@inproceedings{2538f1f2fb9d4b4a817ce2f1e6c4cbb5,
title = "Rewriting logic and probabilities",
abstract = "Rewriting Logic has shown to provide a general and elegant framework for unifying a wide variety of models, including concurrency models and deduction systems. In order to extend the modeling capabilities of rule based languages, it is natural to consider that the firing of rules can be subject to some probabilistic laws. Considering rewrite rules subject to probabilities leads to numerous questions about the underlying notions and results. In this paper, we discuss whether there exists a notion of probabilistic rewrite system with an associated notion of probabilistic rewriting logic.",
author = "Olivier Bournez and Mathieu Hoyrup",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 14th International Conference on Rewriting Techniques and Applications, RTA 2003 ; Conference date: 09-06-2003 Through 11-06-2003",
year = "2003",
month = jan,
day = "1",
doi = "10.1007/3-540-44881-0\_6",
language = "English",
isbn = "3540402543",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "61--75",
editor = "Robert Nieuwenhuis",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}