The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 156, number: 1

  1. Peter D. Mosses, Irek Ulidowski
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:1-2 [Journal]
  2. Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
    A Hierarchy of SOS Rule Formats. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:3-25 [Journal]
  3. José Meseguer, Grigore Rosu
    The Rewriting Logic Semantics Project. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:27-56 [Journal]
  4. Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
    Operational Semantics and Rewriting Logic in Membrane Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:57-78 [Journal]
  5. Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
    Compositional Operational Semantics of a UML-Kernel-Model Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:79-96 [Journal]
  6. Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind
    Divide and Congruence Applied to eta-Bisimulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:97-113 [Journal]
  7. Samuel Hym, Matthew Hennessy
    Adding Recursion to Dpi: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:115-133 [Journal]
  8. Mohammad Reza Mousavi, Michel A. Reniers
    Prototyping SOS Meta-theory in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:135-150 [Journal]
  9. Ando Saabas, Tarmo Uustalu
    A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:151-168 [Journal]
  10. Axelle Ziegler, Dale Miller, Catuscia Palamidessi
    A Congruence Format for Name-passing Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:169-189 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002