Scientific works by Daniele Varacca

Most Recent Publications

Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible and Daniele Varacca
Promptness and fairness in Muller LTL formulas
Proceedings of FSTTCS 2024

Romain Demangeon, Catalin Dima, Daniele Varacca
Observational Preorders for Alternating Transition Systems
Proceedings of EUMAS 2023: 312-327

Journal Publications

Clément Aubert, Daniele Varacca
Process against tests: On defining contextual equivalences
Journal of Log. and Alg. Methods in Programming, Volume 129, 2022

Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes
Computing Journal, Volume 60, Issue 5, 2017

Hagen Völzer, Daniele Varacca.
Defining Fairness in Reactive and Concurrent Systems.
Journal of the ACM, Volume 59, Issue 3, June 2012.
Available on the ACM Digital Library

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]

International Conferences and Workshops

Clément Aubert, Daniele Varacca
Process, Systems and Tests: Three Layers in Concurrent Computation
Proceedings of ICE 2021

Silvia Crafa, Daniele Varacca
On the Reactive Nature of Financial Networks
Proceedings of ICTCS 2018

Ioana Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for the reversible pi-calculus
Proceedings of RC 2016(©Springer)

Ioana Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for CCS and the pi-calculus
Proceedings of ICTAC 2015(©Springer)

Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca
Continuations, processes, and sharing
Proceedings of PPDP 2014(©Springer)
Preliminary version: [pdf]

Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes
Proceedings of FMOODS/FORTE-2013(©Springer)
Preliminary version: [pdf]

Ioana Cristescu, Jean Krivine, Daniele Varacca
A Compositional Semantics for the Reversible pi-Calculus
Proceedings of LICS 2013(©IEEE)
Preliminary version: [pdf]

Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Event Structure Semantics of the parallel extrusion in the pi-calculus
Proceedings of FOSSACS12(©Springer-Verlag)
Preliminary version: [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]

Thesis

Daniele Varacca
Contributions à la sémantique de la concurrence
Dissertation HDR

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]

Other works

Luca Fossati, Daniele Varacca
Handshake Languages do not Compose
Draft
Preliminary version: [pdf]

Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
Computational Complexity of Interactive Behaviors
Draft
Preliminary version: [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]