Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 52, number: 3

1. Jos C. M. Baeten
   Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
2. Andrea Bobbio, András Horváth
   Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
3. Víctor A. Braberman, Alfredo Olivero
   Extending Timed Automata for Compositional Modeling Healthy Timed Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
4. Mario Bravetti, Alessandro Aldini
   Non-determinism in Probabilistic Timed Systems with General Distributions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
5. Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen
   Towards a Process Algebra for Shared Processors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
6. Flavio Corradini, Walter Vogler
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
7. Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
   Privacy in Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
   
8. Jitka Stríbrná, Insup Lee
   Characterizing Non-Zenoness on Real-Time Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]