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

Semantic subtyping for the pi-calculus G Castagna, R De Nicola, D Varacca Theoretical Computer Science 398 (1-3), 217-242, 2008 | 82 | 2008 |

Probability, nondeterminism and concurrency: two denotational models for probabilistic computation D Varacca BRICS, 2003 | 75 | 2003 |

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

Probabilistic event structures and domains D Varacca, H Völzer, G Winskel CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 60 | 2004 |

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 | 55 | 2012 |

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

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 International Conference on Concurrency Theory, 587-602, 2009 | 33 | 2009 |

Rigid families for CCS and the-calculus ID Cristescu, J Krivine, D Varacca International Colloquium on Theoretical Aspects of Computing, 223-240, 2015 | 32 | 2015 |

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

Compositional Event Structure Semantics for the Internal *π*-CalculusS Crafa, D Varacca, N Yoshida International Conference on Concurrency Theory, 317-332, 2007 | 30 | 2007 |

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 π-calculus D Varacca, N Yoshida Electronic Notes in Theoretical Computer Science 158, 373-397, 2006 | 28 | 2006 |

Continuous random variables J Goubault-Larrecq, D Varacca 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011 | 23 | 2011 |

Probabilistic π-calculus and event structures D Varacca, N Yoshida Electronic Notes in Theoretical Computer Science 190 (3), 147-166, 2007 | 22 | 2007 |

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 | 22 | 2006 |

Rigid families for the reversible-calculus I Cristescu, J Krivine, D Varacca International Conference on Reversible Computation, 3-19, 2016 | 18 | 2016 |

Semantic subtyping for objects and classes O Dardha, D Gorla, D Varacca International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 18* | 2013 |