Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 253, number: 3

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. [Citation Graph (, )][DBLP]
   
   
3. 
   Discounting in Time. [Citation Graph (, )][DBLP]
   
   
4. 
   An M^X/G/1 Energetic Retrial Queue with Vacations and it's Control. [Citation Graph (, )][DBLP]
   
   
5. 
   On the Expressive Power of Schedulers in Distributed Probabilistic Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   The Kantorovich Metric in Computer Science: A Brief Survey. [Citation Graph (, )][DBLP]
   
   
7. 
   Exploiting non-Markovian Bio-Processes. [Citation Graph (, )][DBLP]
   
   
8. 
   Programming with Quantum Communication. [Citation Graph (, )][DBLP]
   
   
9. 
   An Interval-based Abstraction for Quantifying Information Flow. [Citation Graph (, )][DBLP]
   
   
10. 
    Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. [Citation Graph (, )][DBLP]
    
    
11. 
    From Biochemistry to Stochastic Processes. [Citation Graph (, )][DBLP]
    
    
12. 
    CoBiC: Context-dependent Bioambient Calculus. [Citation Graph (, )][DBLP]