Computational Complexity of Interactive Behaviors
Submitted
Preliminary version: [pdf]
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
Computational Complexity of Interactive Behaviors
Submitted
Preliminary version: [pdf]
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes
Submitted
Preliminary version: [pdf]
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Event Structure Semantics of the parallel extrusion in the pi-calculus
Accepted at FOSSACS12
Preliminary version: [pdf]
Jean Goubault-Larrecq, Daniele Varacca
Continuous Random Variables
Proccedings of LICS11 (©IEEE)
Preliminary version: [pdf]
Daniele Varacca and Nobuko Yoshida
Typed Event Structures and the pi-calculus
Theoretical Computer Science: 411 (19)(2010)
Paper: [pdf]
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
and Daniele Varacca
Security Types for Dynamic Web Data
Theoretical Computer Science 402(2-3) (2008)
Paper: [pdf]
Giuseppe Castagna, Rocco De Nicola and Daniele Varacca
Semantic subtyping for the pi-calculus
Theoretical Computer Science 398(1-3)(2008):
Special issue for Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca.
Slides: [pdf]
Daniele Varacca and Hagen Völzer
New Perspectives on Fairness
Concurrency column - Bulletin of the EATCS Number 90, October 2006
(©EATCS)
[pdf at Luca Aceto's page]
Daniele Varacca and Glynn Winskel
Distributing Probabililty over Nondeterminism
Mathematical Structures in Computer Science 16(1) (2006)
[pdf]
Daniele Varacca, Hagen Völzer and Glynn Winskel
Probabilistic Event Structures and Domains
Theoretical Computer Science 358(2-3)(2006)
Paper: [pdf]
Slides: [pdf]
Eugene Asarin, Raphael Chane-Yack-Fa, Daniele Varacca
Fair Adversaries and Randomization in Two-Player Games
Proccedings of FOSSACS10 (©Springer-Verlag)
Preliminary version: [pdf]
Matthias Schmalz, Daniele Varacca and Hagen Völzer
Counterexamples in Probabilistic LTL Model Checking
Proccedings of CONCUR09 (©Springer-Verlag)
Preliminary version: [pdf]
Luca Fossati, Daniele Varacca
The calculus of HandShake Configurations
Proceedings of FOSSACS09 (©Springer-Verlag)
Preliminary version: [pdf]
Luca Fossati, Daniele Varacca
A Petri Net Model of HandShake Protocols
Proceedings of ICE08 - Interactive Concurrency Experiences, ENTCS (©Elsevier)
Preliminary version: [pdf]
Silvia Crafa, Daniele Varacca and Nobuko Yoshida
Event Structure Semantics for the Internal pi-calculus
Proceedings of CONCUR 2007
(©Springer-Verlag)
Preliminary version: [pdf]
Matthias Schmalz, Hagen Völzer and Daniele Varacca
Model Checking Almost All Paths Can Be Less Expensive than Checking All
Paths
Proceedings of FSTTCS 2007
(©Springer-Verlag)
Preliminary version: [pdf]
Daniele Varacca and Nobuko Yoshida
Probabilistic pi-calculus and Event Structures
Quantitative Aspects of Programming Languages, Braga, 2007
Preliminary version: [pdf]
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Daniele Varacca
Encoding CDuce in the Cpi-calculus
Proceedings of CONCUR 2006 (©Springer-Verlag)
Extended abstract: [pdf]
Full version with proofs: [pdf]
Daniele Varacca and Hagen Völzer
Temporal Logics and Model Checking for Fairly Correct Systems
Proceedings of LICS 2006
(©IEEE computer society)
Extended abstract: [pdf]
Daniele Varacca and Nobuko Yoshida
Typed Event Structures and the pi-calculus
Proceedings of MFPS 2006 (©Elsevier)
Extended abstract: [pdf]
Slides for the above paper: [pdf]
Hagen Völzer, Daniele Varacca and Ekkart Kindler
Defining Fairness
Proceedings CONCUR 2005
(©Springer-Verlag) - Best Paper
Award
Extended abstract: [pdf]
Revised technical report version, University of Lübeck: [ps]
Giuseppe Castagna, Rocco De Nicola and Daniele Varacca
Semantic subtyping for the pi-calculus
Proceedings of LICS 2005
(©IEEE computer society)
Extended abstract: [pdf]
An older version with some more proofs is also available
[pdf]
Slides for the above paper: [pdf]
Daniele Varacca, Hagen Völzer and Glynn Winskel
Probabilistic Event Structures and Domains
Proceedings of CONCUR 2004
(©Springer-Verlag)
An extended version with the proofs is available as BRICS report RS-04-10.
Slides for the above paper: [pdf]
Daniele Varacca
The Powerdomain of Indexed Valuations
Proceedings of LICS 2002
(©IEEE computer society)
Extended abstract: [ps]
An extended version with the proofs is available as BRICS report RS-02-38
Slides for the above paper: [pdf]
Daniele Varacca
Two Denotational Models for Probabilistic Computation
PhD thesis [ps.gz] and [pdf]
PhD defence: slides of the talk [pdf] - see also the "secret slides" [pdf]
Daniele Varacca and Nobuko Yoshida
Typed event structures and the pi-calculus
Draft [pdf]
Imperial College Technical Report
[pdf]
Daniele Varacca and Nobuko Yoshida
The pi-calculus without alpha-conversion
Draft [pdf]
Daniele Varacca
Probabilistic models for concurrency
Notes for a FIRST minicourse - ITU Copenhagen [pdf]
Daniele Varacca and Mogens Nielsen
Probabilistic Petri Nets and Mazurkiewicz Equivalence
Draft [ps]