Sfoglia per Rivista
Extensional Equivalences for Transition Systems
1987-01-01 DE NICOLA, R
Locality Based Semantics for Process Algebras
1997-01-01 DE NICOLA, R; F., Corradini
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
2015-01-01 Bernardo, M; De Nicola, R; Loreti, M
Types in concurrency - Editorial of the Special Issue
2005-01-01 DE NICOLA, R; Sangiorgi, D.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Extensional Equivalences for Transition Systems | 1-gen-1987 | DE NICOLA, R | |
Locality Based Semantics for Process Algebras | 1-gen-1997 | DE NICOLA, R; F., Corradini | |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes | 1-gen-2015 | Bernardo, M; De Nicola, R; Loreti, M | |
Types in concurrency - Editorial of the Special Issue | 1-gen-2005 | DE NICOLA, R; Sangiorgi, D. |
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