Axiomatization of trace semantics for stochastic nondeterministic processes (2004)

by A Parma, R Segala
Venue:In Proc. of the 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004