Luca Padovani

On the Almost-Sure Termination of Binary Sessions

2024

We investigate the termination problem in a calculus of sessions with probabilistic choices. In this setting, a whole range of termination properties can be defined, from the weaker almost-sure termination to strong almost-sure termination, passing …