Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains
2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
2018-01-01 Giacomo, Alzetta; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Information Flow Security for Stochastic Processes
2018-01-01 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Persistent Stochastic Non-Interference
2018-01-01 Hillston, Jane; Piazza, Carla; Rossi, Sabina
A process algebra for (delimited) persistent stochastic non-interference
2019-01-01 Marin, A.; Piazza, C.; Rossi, S.
Proportional lumpability and proportional bisimilarity
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
D_PSNI: Delimited persistent stochastic non-interference
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
Persistent Stochastic Non-Interference
2021-01-01 Hillston, J.; Marin, A.; Piazza, C.; Rossi, S.
Mostrati risultati da 1 a 8 di 8
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