Symbolic Approaches to Probability Distributions in Process Algebra

Chris M. N. Tofts. Symbolic Approaches to Probability Distributions in Process Algebra. Formal Asp. Comput., 12(5):392-415, 2000. [doi]

Abstract

Abstract is missing.