Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. - Augusto Parma; Roberto Segala (QEST, 2004)

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. - Augusto Parma; Roberto Segala (FoSSaCS, 2007)

Probabilistic Logical Characterization. - Holger Hermanns; Augusto Parma; Roberto Segala; Björn Wachter; Lijun Zhang 001 (Inf. Comput., 2011)