Probabilistic Characterization of Algebraic Protocol Specifications