Augusto Parma

According to our database, Augusto Parma authored at least 3 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Probabilistic Logical Characterization.

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang

Inf. Comput., 2011

2007

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.

Augusto Parma, Roberto Segala

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2004

Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.

Augusto Parma, Roberto Segala

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004