Daniele Varacca

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 10

Top Topics

Transition Systems

Semantically Meaningful

Top Venues

J. Log. Algebraic Methods Program.

Publications

Romain Demangeon, Catalin Dima, Daniele Varacca
Observational Preorders for Alternating Transition Systems. EUMAS (2023)
Clément Aubert, Daniele Varacca
Processes against tests: On defining contextual equivalences. J. Log. Algebraic Methods Program. 129 (2022)
Youssouf Oualhadj, Léo Tible, Daniele Varacca
Fairness and promptness in Muller formulas. CoRR (2022)
Clément Aubert, Daniele Varacca
Process, Systems and Tests: Three Layers in Concurrent Computation. ICE (2021)
Xiaoju Dong, Yuxi Fu, Daniele Varacca
Extensional Petri net. Formal Aspects Comput. 31 (1) (2019)
Youssouf Oualhadj, Léo Tible, Daniele Varacca
Banach-Mazur Parity Games and Almost-sure Winning Strategies. CoRR (2018)
Silvia Crafa, Daniele Varacca
On the Reactive Nature of Financial Networks. ICTCS (2018)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. Comput. J. 60 (5) (2017)
Xiaoju Dong, Yuxi Fu, Daniele Varacca
Place Bisimulation and Liveness for Open Petri Nets. SETTA (2016)
Ioana Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for the Reversible π-Calculus. RC (2016)
Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
Rigid Families for CCS and the π-calculus. ICTAC (2015)
Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
Preface. Theor. Comput. Sci. 546 (2014)
Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca
Continuations, Processes, and Sharing. PPDP (2014)
Ioana Cristescu, Jean Krivine, Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus. LICS (2013)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. FMOODS/FORTE (2013)
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS (2012)
Hagen Völzer, Daniele Varacca
Defining Fairness in Reactive and Concurrent Systems. J. ACM 59 (3) (2012)
Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
Computational Complexity of Interactive Behaviors CoRR (2012)
Jean Goubault-Larrecq, Daniele Varacca
Continuous Random Variables. LICS (2011)
Daniele Varacca, Nobuko Yoshida
Typed event structures and the linear pi-calculus. Theor. Comput. Sci. 411 (19) (2010)
Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca
Fair Adversaries and Randomization in Two-Player Games. FoSSaCS (2010)
Luca Fossati, Daniele Varacca
The Calculus of Handshake Configurations. FoSSaCS (2009)
Matthias Schmalz, Daniele Varacca, Hagen Völzer
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR (2009)
Luca Fossati, Daniele Varacca
A Petri Net Model of Handshake Protocols. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
Security types for dynamic web data. Theor. Comput. Sci. 402 (2-3) (2008)
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398 (1-3) (2008)
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
-Calculus. CONCUR (2007)
Matthias Schmalz, Hagen Völzer, Daniele Varacca
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS (2007)
Daniele Varacca, Nobuko Yoshida
Probabilistic pi-Calculus and Event Structures. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Daniele Varacca, Glynn Winskel
Distributing probability over non-determinism. Math. Struct. Comput. Sci. 16 (1) (2006)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
Encoding CDuce in the Cpi-Calculus. CONCUR (2006)
Daniele Varacca, Nobuko Yoshida
-Calculus: Extended Abstract. MFPS (2006)
Daniele Varacca
New Perspectives of Fairness. Bull. EATCS 90 (2006)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic event structures and domains. Theor. Comput. Sci. 358 (2-3) (2006)
Daniele Varacca, Hagen Völzer
Temporal Logics and Model Checking for Fairly Correct Systems. LICS (2006)
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Semantic Subtyping for the p-Calculus. LICS (2005)
Hagen Völzer, Daniele Varacca, Ekkart Kindler
Defining Fairness. CONCUR (2005)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic Event Structures and Domains. CONCUR (2004)
Daniele Varacca
The Powerdomain of Indexed Valuations. LICS (2002)