Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 242, number: 1

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. [Citation Graph (, )][DBLP]
   
   
3. 
   EXPTIME-complete Decision Problems for Modal and Mixed Specifications. [Citation Graph (, )][DBLP]
   
   
4. 
   A Basic Parallel Process as a Parallel Pushdown Automaton. [Citation Graph (, )][DBLP]
   
   
5. 
   Hard Life with Weak Binders. [Citation Graph (, )][DBLP]
   
   
6. 
   Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). [Citation Graph (, )][DBLP]
   
   
7. 
   Security Abstractions and Intruder Models (Extended Abstract). [Citation Graph (, )][DBLP]
   
   
8. 
   Decidable Fragments of a Higher Order Calculus with Locations. [Citation Graph (, )][DBLP]
   
   
9. 
   Adding Branching to the Strand Space Model. [Citation Graph (, )][DBLP]
   
   
10. 
    A Calculus for Mobile Ad-hoc Networks with Static Location Binding. [Citation Graph (, )][DBLP]