Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 128, number: 2

1. Jos C. M. Baeten, Flavio Corradini
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:1-3 [Journal]
   
2. Rob J. van Glabbeek
   On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:5-34 [Journal]
   
3. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
   Fairness of Components in System Computations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:35-52 [Journal]
   
4. Suzana Andova, Tim A. C. Willemse
   Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:53-66 [Journal]
   
5. Emmanuel Beffara, François Maurel
   Concurrent Nets: A Study of Prefixing in Process Calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:67-86 [Journal]
   
6. Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
   On the omega-language Expressive Power of Extended Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:87-101 [Journal]
   
7. Harald Fecher, Martin Steffen
   Characteristic mu-Calculus Formulas for Underspecified Transition Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:103-116 [Journal]
   
8. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
   On the Expressive Power of Klaim-based Calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:117-130 [Journal]
   
9. Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
   A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:131-150 [Journal]
   
10. Reynald Affeldt, Naoki Kobayashi
    Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:151-168 [Journal]
    
11. Xudong Guan
    Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:169-183 [Journal]
    
12. Iain Phillips, Maria Grazia Vigliotti
    Leader Election in Rings of Ambient Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:185-199 [Journal]