Distributing probability over non-determinism D Varacca, G Winskel Mathematical structures in computer science 16 (1), 87-113, 2006 | 151 | 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 | 102 | 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 | 70 | 2003 |

Probabilistic event structures and domains D Varacca, H Völzer, G Winskel CONCUR 3170, 481-496, 2004 | 60 | 2004 |

Probabilistic event structures and domains D Varacca, H Völzer, G Winskel Theoretical Computer Science 358 (2-3), 173-199, 2006 | 58 | 2006 |

Event structure semantics of parallel extrusion in the pi-calculus S Crafa, D Varacca, N Yoshida Foundations of Software Science and Computational Structures: 15th …, 2012 | 53 | 2012 |

Defining fairness H Völzer, D Varacca, E Kindler CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 42 | 2005 |

Rigid families for CCS and the-calculus ID Cristescu, J Krivine, D Varacca Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 35 | 2015 |

Defining fairness in reactive and concurrent systems H Völzer, D Varacca Journal of the ACM (JACM) 59 (3), 1-37, 2012 | 33 | 2012 |

Counterexamples in probabilistic LTL model checking for Markov chains M Schmalz, D Varacca, H Völzer CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009 | 32 | 2009 |

The powerdomain of indexed valuations D Varacca Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 299-308, 2002 | 30 | 2002 |

Typed event structures and the linear π-calculus D Varacca, N Yoshida Theoretical Computer Science 411 (19), 1949-1973, 2010 | 29 | 2010 |

Compositional Event Structure Semantics for the Internal *π*-CalculusS Crafa, D Varacca, N Yoshida CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007 | 29 | 2007 |

Typed event structures and the π-calculus D Varacca, N Yoshida Electronic Notes in Theoretical Computer Science 158, 373-397, 2006 | 27 | 2006 |

Continuous random variables J Goubault-Larrecq, D Varacca 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011 | 23 | 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 | 20 | 2007 |

Rigid families for the reversible-calculus I Cristescu, J Krivine, D Varacca Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016 | 17 | 2016 |

Semantic subtyping for objects and classes O Dardha, D Gorla, D Varacca Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013 | 15* | 2013 |