Work

Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

Year: 2021

Type: conference-paper

Abstract: We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs.

Source: ACM/IEEE Symposium on Logic in Computer Science (LICS)

DOI: 10.1109/lics52264.2021.9470717

Authors: Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Institutions: École Normale Supérieure de Lyon, Centre National de la Recherche Scientifique, Laboratoire de l'Informatique du Parallélisme

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Awards: Quantitative Reasoning Methods for Probabilistic Logics, PROJET AVENIR LYON SAINT-ETIENNE, Community of mathematics and fundamental computer science in Lyon, Reliable and Privacy-Aware Software Systems via Bisimulation Metrics