Journals in DBLP

Theor. Comput. Sci.
2001, volume: 253, number: 2

1. Catuscia Palamidessi
   Foreword. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:153- [Journal]
   
2. Chiara Bodei, Pierpaolo Degano, Corrado Priami
   Names of the -calculus agents handled locally. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:155-184 [Journal]
   
3. Stefano Guerrini, Simone Martini, Andrea Masini
   Proof nets, garbage, and computations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:185-237 [Journal]
   
4. Furio Honsell, Marino Miculan, Ivan Scagnetto
   pi-calculus in (Co)inductive-type theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:239-285 [Journal]
   
5. Prakash Panangaden
   Measure and probability for concurrency theorists. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:287-309 [Journal]
   
6. Davide Sangiorgi
   Asynchronous process calculi: the first- and higher-order paradigms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:253, n:2, pp:311-350 [Journal]