Sfoglia per Rivista
Liveness of a Mutex Algorithm in a Fair Process Algebra
2009-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Locality Based Semantics for Process Algebras
1997-01-01 Corradini, Flavio; DE NICOLA, R.
Performance Preorder and Competitive Equivalence
1997-01-01 Corradini, Flavio; Gorrieri, R.; Roccetti, M.
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
2015-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Timed automata with urgent transitions
2004-01-01 Barbuti, Roberto; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Liveness of a Mutex Algorithm in a Fair Process Algebra | 1-gen-2009 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo | |
Locality Based Semantics for Process Algebras | 1-gen-1997 | Corradini, Flavio; DE NICOLA, R. | Articolo | |
Performance Preorder and Competitive Equivalence | 1-gen-1997 | Corradini, Flavio; Gorrieri, R.; Roccetti, M. | Articolo | |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 1-gen-2015 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Articolo | |
Timed automata with urgent transitions | 1-gen-2004 | Barbuti, Roberto; Tesei, Luca | Articolo |
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