Z-style notation for Probabilities
Maarten M. Fokkinga · University of Twente Research Information · 2006
A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.