Search the dblp DataBase

Publications of Author

1. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
   Encoding CDuce in the Cpi-Calculus. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:310-326 [Conf]
   
2. Hagen Völzer, Daniele Varacca, Ekkart Kindler
   Defining Fairness. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:458-472 [Conf]
   
3. Daniele Varacca, Hagen Völzer, Glynn Winskel
   Probabilistic Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:481-496 [Conf]
   
4. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
   Semantic Subtyping for the p-Calculus. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:92-101 [Conf]
   
5. Daniele Varacca
   The Powerdomain of Indexed Valuations. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:299-0 [Conf]
   
6. Daniele Varacca, Hagen Völzer
   Temporal Logics and Model Checking for Fairly Correct Systems. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:389-398 [Conf]
   
7. Daniele Varacca, Nobuko Yoshida
   Typed Event Structures and the pi-Calculus: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:373-397 [Journal]
   
8. Daniele Varacca, Hagen Völzer, Glynn Winskel
   Probabilistic event structures and domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:358, n:2-3, pp:173-199 [Journal]
   
9. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
   Compositional Event Structure Semantics for the Internal pi -Calculus. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:317-332 [Conf]
   
10. Daniele Varacca, Nobuko Yoshida
    Probabilistic pi-Calculus and Event Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:147-166 [Journal]
    
11. 
    Counterexamples in Probabilistic LTL Model Checking for Markov Chains. [Citation Graph (, )][DBLP]
    
    
12. 
    The Calculus of Handshake Configurations. [Citation Graph (, )][DBLP]
    
    
13. 
    Fair Adversaries and Randomization in Two-Player Games. [Citation Graph (, )][DBLP]
    
    
14. 
    Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. [Citation Graph (, )][DBLP]
    
    
15. 
    A Petri Net Model of Handshake Protocols. [Citation Graph (, )][DBLP]