
Journals in DBLP
 Catuscia Palamidessi
Foreword. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:253, n:2, pp:153 [Journal]
 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:155184 [Journal]
 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:185237 [Journal]
 Furio Honsell, Marino Miculan, Ivan Scagnetto
picalculus in (Co)inductivetype theory. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:253, n:2, pp:239285 [Journal]
 Prakash Panangaden
Measure and probability for concurrency theorists. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:253, n:2, pp:287309 [Journal]
 Davide Sangiorgi
Asynchronous process calculi: the first and higherorder paradigms. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:253, n:2, pp:311350 [Journal]
