Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 164, number: 3

1. Alessandra Di Pierro, Herbert Wiklicky
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:1-2 [Journal]
   
2. Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
   Towards a Quantitative Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:3-25 [Journal]
   
3. Alessandro Aldini, Marco Bernardo
   Component-Oriented Specification of Performance Measures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:27-43 [Journal]
   
4. Walter Binder, Jarle Hulaas
   Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:45-64 [Journal]
   
5. Luca Bortolussi
   Stochastic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:65-80 [Journal]
   
6. Gabriel Ciobanu, Cristian Prisacariu
   Timers for Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:81-99 [Journal]
   
7. Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
   Beta-binders for Biological Quantitative Experiments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:101-117 [Journal]
   
8. Sylvain Pradalier, Catuscia Palamidessi
   Expressiveness of Probabilistic pi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:119-136 [Journal]
   
9. Jeremy Singer, Gavin Brown
   Return Value Prediction meets Information Theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:137-151 [Journal]
   
10. Pascal Sotin, David Cachera, Thomas P. Jensen
    Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:153-167 [Journal]
    
11. Maria Grazia Vigliotti, Peter G. Harrison
    Stochastic Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:169-186 [Journal]
    
12. Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
    Trace Semantics for Stochastic Systems with Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:187-204 [Journal]
    
13. Miaomiao Zhang, Dang Van Hung
    Formal Analysis of Streaming Downloading Protocol for System Upgrading. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:205-224 [Journal]