Augusto Parma

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301

2004

1 Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303

	2007
2		Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301
	2004
1		Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303

Coauthor Index

1 Roberto Segala [1] [2]