PARMA, Augusto
PARMA, Augusto
DIPARTIMENTO DI BIOTECNOLOGIE (attivo dal 01/07/1998 al 30/04/2010)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
Axiomatic and logical characterizations of probabilistic preorders and trace semantics
2008-01-01 Parma, Augusto
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
2004-01-01 Parma, Augusto; Segala, Roberto
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
2007-01-01 Parma, Augusto; Segala, Roberto
Probabilistic Logical Characterization
2011-01-01 Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Axiomatic and logical characterizations of probabilistic preorders and trace semantics | 1-gen-2008 | Parma, Augusto | |
| Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes | 1-gen-2004 | Parma, Augusto; Segala, Roberto | |
| Logical Characterizations of Bisimulations for Discrete Probabilistic Systems | 1-gen-2007 | Parma, Augusto; Segala, Roberto | |
| Probabilistic Logical Characterization | 1-gen-2011 | Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L. |