Probabilistic communicating processes
communicating sequential processes (CSP)
probability measures on the space of infinite traces
conditional probability measures of infinite traces
proof rules for the deterministic properties of probabilistic algorithms
scientific article; zbMATH DE number 984873