Journals in DBLP

Theor. Comput. Sci.
2002, volume: 274, number: 1-2

1. Davide Sangiorgi, Robert de Simone
   Ninth International Conference on Concurrency Theory 1998 - Editorial. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:1- [Journal]
   
2. Frank S. de Boer
   A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:3-41 [Journal]
   
3. Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen
   Process algebra for performance evaluation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:43-87 [Journal]
   
4. Denis Lugiez, Ph. Schnoebelen
   The regular viewpoint on PA-processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:89-115 [Journal]
   
5. P. Madhusudan, P. S. Thiagarajan
   Branching time controllers for discrete event systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:117-149 [Journal]
   
6. Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger
   Axioms for real-time logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:151-182 [Journal]
   
7. Peter Sewell
   From rewrite rules to bisimulation congruences. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:183-230 [Journal]
   
8. Nobuko Yoshida
   Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:274, n:1-2, pp:231-276 [Journal]