Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
Axiomatic and logical characterizations of probabilistic preorders and trace semantics
2008-01-01 Parma, Augusto
Probabilistic Logical Characterization
2011-01-01 Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Axiomatic and logical characterizations of probabilistic preorders and trace semantics | 1-gen-2008 | Parma, Augusto | |
Probabilistic Logical Characterization | 1-gen-2011 | Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L. |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile