# Towards Probabilistic Session-Type Monitoring

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 19 Jul 2021.

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

- [Monitoring Algorithmic Fairness under Partial Observations](https://mlsanity.com/paper/2308.00341/) (2023)

## Abstract (arXiv)

We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is decorated by a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.