BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
LICS-2002-Varacca
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.