Sfoglia per Autore KILINC, GORKEM
Mostrati risultati da 1 a 8 di 8
Weak observable liveness and infinite games on finite graphs
2017 Bernardinello, L; Kılınç, G; Pomello, L
Formal Notions of Non-interference and Liveness for Distributed Systems
2016 Kilinc, G
Non-interference notions based on reveals and excludes relations for petri nets
2016 Bernardinello, L; Kilinc, G; Pomello, L
Observable liveness of Petri nets
2015 Desel, J; Kilinc, G
Non-interference notions based on reveals and excludes relations for petri nets
2015 Bernardinello, L; Kilinc, G; Pomello, L
Modeling Distributed Private Key Generation by Composing Petri Nets
2014 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Observable Liveness
2014 Desel, J; Kilinc, G
Modeling Distributed Private Key Generation by Composing Petri Nets
2013 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
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