BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Varacca:Daniele

Contributed to:

PPDP 20142014
LICS 20132013
FOSSACS 20122012
LICS 20112011
FOSSACS 20102010
FOSSACS 20092009
QAPL 20072007
LICS 20062006
LICS 20052005
LICS 20022002

Wrote 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.
The Powerdomain of Indexed Valuations (DV), p. 299–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.