Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 71, number:

1. María Alpuente, Santiago Escobar, Salvador Lucas
   Correct and Complete (Positive) Strategy Annotations for OBJ. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
2. Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
   An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
3. Mark-Oliver Stehr, Carolyn L. Talcott
   Plan in Maude: Specifying an Active Network Programming Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
4. Dilia E. Rodriguez
   A Secret-Sharing Protocol Modelled in Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
5. Kazuhiro Ogata, Kokichi Futatsugi
   Rewriting-Based Verification of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
6. Kohei Honda
   Processes and Games. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
7. Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
   Outermost ground termination. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
8. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
   The Maude LTL Model Checker. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
9. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
   Pathway Logic: Executable Models of Biological Networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
   
10. Francisco Durán, Alberto Verdejo
    A Conference Reviewing System in Mobile Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
11. Grit Denker, Jonathan K. Millen
    Modeling Group Communication Protocols Using Multiset Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
12. Manuel Clavel, José Meseguer, Miguel Palomino
    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
13. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Rewriting Calculus with(out) Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
14. Roberto Bruni, José Meseguer, Ugo Montanari
    Tiling Transactions in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
15. Alberto Verdejo, Narciso Martí-Oliet
    Implementing CCS in Maude 2. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
    
16. Fabio Gadducci, Ugo Montanari
    Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:1-2 [Journal]