Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1997, volume: 7, number:

1. Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist
   Relating semantic models for the object calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
2. Alexander Moshe Rabinovich
   On expressive completeness of duration and mean value calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
3. Vaughan R. Pratt
   Types as processes, via Chu spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
4. Catuscia Palamidessi, Joachim Parrow
   Foreword. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
5. Uwe Nestmann
   What is a `good' encoding of guarded choice? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
6. Richard Mayr
   Process rewrite systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
7. François Laroussinie, Ph. Schnoebelen
   Specification in CTL+Past, verification in CTL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
8. Thomas Gehrke, Arend Rensink
   Process creation and full sequential composition in a name-passing calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
9. Gian Luigi Ferrari, Ugo Montanari
   Tiles for concurrent and located calculi? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
10. Flavio Corradini, Gian Luigi Ferrari, Marco Pistore
    Eager, busy-waiting and lazy actions in timed computation? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
11. Flavio Corradini
    Absolute versus relative time in process algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
12. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Turing equivalence of Linda coordination primitives. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
13. Roberto Bruni, Ugo Montanari
    Zero-safe nets, or transition synchronization made simple. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
14. Christel Baier, Marta Z. Kwiatkowska
    Domain equations for probabilistic processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
15. Ralph-Johan Back, Joakim von Wright
    Contracts, games and refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
16. Zena M. Ariola, Jan Willem Klop, Detlef Plump
    Confluent rewriting of bisimilar term graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
    
17. Arend Rensink
    Bisimilarity of open terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]