Travelled to:1 × Canada
1 × Cyprus
1 × Denmark
1 × Estonia
2 × United Kingdom
3 × USA
Collaborated with:N.Yoshida J.Goubault-Larrecq L.Fossati H.Völzer ∅ I.Cristescu J.Krivine S.Crafa E.Asarin R.Chane-Yack-Fa G.Castagna R.D.Nicola P.Downen L.Maurer Z.M.Ariola
Talks about:calculus (5) semant (3) structur (2) continu (2) random (2) event (2) fair (2) probabilist (1) powerdomain (1) adversari (1)
Person: Daniele Varacca
DBLP: Varacca:Daniele
Contributed to:
2014
2013
2012201120102009
2007200620052002Wrote 10 papers:
- PPDP-2014-DownenMAV #continuation #process
- Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
- LICS-2013-CristescuKV #calculus #composition #semantics
- A Compositional Semantics for the Reversible p-Calculus (IC, JK, DV), pp. 388–397.
- FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus
- Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
- LICS-2011-Goubault-LarrecqV #random
- Continuous Random Variables (JGL, DV), pp. 97–106.
- FoSSaCS-2010-AsarinCV #game studies
- Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.
- FoSSaCS-2009-FossatiV #calculus
- The Calculus of Handshake Configurations (LF, DV), pp. 227–241.
- QAPL-2007-VaraccaY #probability #π-calculus
- Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
- LICS-2006-VaraccaV #logic #model checking
- Temporal Logics and Model Checking for Fairly Correct Systems (DV, HV), pp. 389–398.
- LICS-2005-CastagnaNV #calculus #semantics #type system
- Semantic Subtyping for the p-Calculus (GC, RDN, DV), pp. 92–101.
- LICS-2002-Varacca
- The Powerdomain of Indexed Valuations (DV), p. 299–?.