Sfoglia per Correlatore
Mostrati risultati da 1 a 4 di 4
Approximate Persistent Stochastic Non Interference
2019/2020 Yoshida, Kotono
Computing the renaming functions of a ρ-reversible Markov chain
2017/2018 Sottana, Matteo
Encoding G-Networks into the Stochastic Process Algebra PEPA
2014/2015 Cavallin, Filippo
Time Reversibility modulo State Renaming for Probabilistic Concurrent Automata
2015/2016 Zgura, Anida
| Titolo | Anno | Autore | file(s) |
|---|---|---|---|
| Approximate Persistent Stochastic Non Interference | 10-lug-2019 | Yoshida, Kotono | |
| Computing the renaming functions of a ρ-reversible Markov chain | 6-lug-2017 | Sottana, Matteo | |
| Encoding G-Networks into the Stochastic Process Algebra PEPA | 11-mar-2014 | Cavallin, Filippo | |
| Time Reversibility modulo State Renaming for Probabilistic Concurrent Automata | 9-lug-2015 | Zgura, Anida |
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