A generalisation of stationary distributions, and probabilistic program algebra (2001)

by Annabelle McIver
Venue:Electronic Notes in Theoretical Computer Science