Distributing probability over non-determinism D Varacca, G Winskel
Mathematical structures in computer science 16 (1), 87-113, 2006
145 2006 A compositional semantics for the reversible p-calculus I Cristescu, J Krivine, D Varacca
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 388-397, 2013
91 2013 Semantic subtyping for the pi-calculus G Castagna, R De Nicola, D Varacca
Theoretical Computer Science 398 (1-3), 217-242, 2008
80 2008 Probability, nondeterminism and concurrency: two denotational models for probabilistic computation D Varacca
BRICS, 2003
67 2003 Probabilistic event structures and domains D Varacca, H Völzer, G Winskel
International Conference on Concurrency Theory, 481-496, 2004
57 2004 Probabilistic event structures and domains D Varacca, H Völzer, G Winskel
Theoretical Computer Science 358 (2-3), 173-199, 2006
56 2006 Event structure semantics of parallel extrusion in the pi-calculus S Crafa, D Varacca, N Yoshida
International Conference on Foundations of Software Science and …, 2012
43 2012 Defining fairness H Völzer, D Varacca, E Kindler
International Conference on Concurrency Theory, 458-472, 2005
39 2005 Counterexamples in probabilistic LTL model checking for Markov chains M Schmalz, D Varacca, H Völzer
International Conference on Concurrency Theory, 587-602, 2009
32 2009 Defining fairness in reactive and concurrent systems H Völzer, D Varacca
Journal of the ACM (JACM) 59 (3), 1-37, 2012
31 2012 The powerdomain of indexed valuations D Varacca
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 299-308, 2002
31 2002 Rigid Families for CCS and the ID Cristescu, J Krivine, D Varacca
International Colloquium on Theoretical Aspects of Computing, 223-240, 2015
28 2015 Typed event structures and the π-calculus D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 158, 373-397, 2006
28 2006 Compositional event structure semantics for the internal π-calculus S Crafa, D Varacca, N Yoshida
International Conference on Concurrency Theory, 317-332, 2007
26 2007 Typed event structures and the linear π-calculus D Varacca, N Yoshida
Theoretical Computer Science 411 (19), 1949-1973, 2010
25 2010 Continuous random variables J Goubault-Larrecq, D Varacca
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011
24 2011 Temporal logics and model checking for fairly correct systems D Varacca, H Volzer
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 389-398, 2006
23 2006 Probabilistic π-calculus and event structures D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 190 (3), 147-166, 2007
19 2007 Security types for dynamic web data M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
16 2008 Probabilistic petri nets and Mazurkiewicz equivalence D Varacca, M Nielsen
15 2003 