Augusto Parma

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j1		Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)
	2007
c2		Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301
	2004
c1		Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303

Coauthor Index

Last update Mon May 20 05:04:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page