Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 52, number: 1

1. Roberto M. Amadio, Charles Meyssonnier
   On the Decidability of Fragments of the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
2. Luca Aceto, Prakash Panangaden
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
3. Julian C. Bradfield, Sibylle B. Fröschle
   On Logical and Concurrent Equivalences. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
4. Tom Chothia, Ian Stark
   Encoding Distributed Areas and Local Communication into the pi-Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
5. Dina Q. Goldin, Scott A. Smolka, Peter Wegner
   Turing Machines, Transition Systems, and Interaction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
6. Anne Labroue, Ph. Schnoebelen
   An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
7. Alan Martin
   Adequate Sets of Temporal Connectives in CTL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
8. K. V. S. Prasad
   Broadcast Calculus Interpreted in CCS upto Bisimulation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
   
9. Jan Strejcek
   Rewrite Systems with Constraints. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]