Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 153, number: 4

1. Florence Maraninchi, Alain Girault, Marc Pouzet
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:1-2 [Journal]
   
2. Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
   From Discrete Duration Calculus to Symbolic Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:3-18 [Journal]
   
3. Eric Vecchié, Robert de Simone
   Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:19-35 [Journal]
   
4. Grégoire Hamon
   Synchronous Dataflow Pattern Matching. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:37-54 [Journal]
   
5. Olivier Tardieu
   Goto and Concurrency Introducing Safe Jumps in Esterel. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:55-70 [Journal]
   
6. Klaus Schneider, Jens Brandt, Tobias Schüle
   A Verified Compiler for Synchronous Programs with Local Declarations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:71-97 [Journal]
   
7. Reinhard Budde, Axel Poigné, Karl-Heinz Sylla
   synERJY An Object-oriented Synchronous Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:99-115 [Journal]
   
8. Stephen A. Edwards, Vimal Kapadia, Michael Halasz
   Compiling Esterel into Static Discrete-Event Code. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:117-131 [Journal]