VIGNUDELLI, VALERIA
VIGNUDELLI, VALERIA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
Environmental bisimulations for probabilistic higher-order languages
2016 Sangiorgi, Davide; Vignudelli, Valeria
On Applicative Similarity, Sequentiality, and Full Abstraction
2015 Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
On the discriminating power of passivation and higher-order interaction
2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems
2014 Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Environmental bisimulations for probabilistic higher-order languages | Sangiorgi, Davide; Vignudelli, Valeria | 2016-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | SIGPLAN-SIGACT2016.pdf |
| On Applicative Similarity, Sequentiality, and Full Abstraction | Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria | 2015-01-01 | - | Meyer, Roland; Platzer, André; Wehrheim, Heike | 2.01 Capitolo / saggio in libro | - |
| On the discriminating power of passivation and higher-order interaction | Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria | 2014-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems | Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria | 2014-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |