Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 175, number: 1

1. Rob J. van Glabbeek, Peter D. Mosses
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:1-2 [Journal]
   
2. Christiano Braga, Alberto Verdejo
   Modular Structural Operational Semantics with Strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:3-17 [Journal]
   
3. Vincent Danos, Jean Krivine, Fabien Tarissan
   Self-assembling Trees. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:19-32 [Journal]
   
4. Bartek Klin
   Bialgebraic Methods in Structural Operational Semantics: Invited Talk. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:33-43 [Journal]
   
5. Mohammad Reza Mousavi, Michel A. Reniers
   On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:45-56 [Journal]
   
6. Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
   Active Evaluation Contexts for Reaction Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:57-70 [Journal]
   
7. Adrian Pop, Peter Fritzson
   An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:71-75 [Journal]
   
8. Simone Tini
   Notes on Generative Probabilistic Bisimulation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:77-88 [Journal]