Daniel Gebler

Date: 17:00, Thursday, February 6, 2014
Speaker: Daniel Gebler
Venue: IST Austria

Probabilistic process calculi are algebraic theories to specify and verify
concurrent probabilistic systems. Bisimulation metric is a fundamental semantic
notion that defines the behavioral distance of probabilistic processes. We study
which operators of probabilistic process calculi allow for compositional reasoning
with respect to bisimulation metric semantics. Moreover, we study the
bisimulation distance of recursive probabilistic processes. We apply these results
to define a performance measure between different implementations of the
probabilistic alternating bit protocol.

Posted in RiSE Seminar