Augusto Parma

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang
Probabilistic Logical Characterization. Inf. Comput. 209 (2) (2011)
Augusto Parma, Roberto Segala
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS (2007)
Augusto Parma, Roberto Segala
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST (2004)