VIGNUDELLI, VALERIA

VIGNUDELLI, VALERIA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
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 -