Journals in DBLP

Theor. Comput. Sci.
2005, volume: 335, number: 2-3

1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik
   Guest editors' foreword: Process Algebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:127-129 [Journal]
   
2. Jos C. M. Baeten
   A brief history of process algebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:131-146 [Journal]
   
3. Bas Luttik, Vincent van Oostrom
   Decomposition orders another generalisation of the fundamental theorem of arithmetic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:147-186 [Journal]
   
4. Flavio Corradini, Walter Vogler
   Measuring the performance of asynchronous systems with PAFAS. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:187-213 [Journal]
   
5. Jan A. Bergstra, C. A. Middelburg
   Process algebra for hybrid systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:215-280 [Journal]
   
6. Alessandro Aldini, Marco Bernardo
   On the usability of process algebra: An architectural view. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:281-329 [Journal]
   
7. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
   Observational congruences for dynamically reconfigurable tile systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:331-372 [Journal]
   
8. Catuscia Palamidessi, Oltea Mihaela Herescu
   A randomized encoding of the Pi-calculus with mixed choice. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:335, n:2-3, pp:373-404 [Journal]