Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 209, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Bigraphs and Their Algebra. [Citation Graph (, )][DBLP]
   
   
3. 
   Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. [Citation Graph (, )][DBLP]
   
   
4. 
   Parallel Processes with Implicit Computational Capital. [Citation Graph (, )][DBLP]
   
   
5. 
   Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. [Citation Graph (, )][DBLP]
   
   
6. 
   Expressiveness Issues in Brane Calculi: A Survey. [Citation Graph (, )][DBLP]
   
   
7. 
   Theoretical Aspects of Communication-Centred Programming. [Citation Graph (, )][DBLP]
   
   
8. 
   Time Separation of Events: An Inverse Method. [Citation Graph (, )][DBLP]
   
   
9. 
   Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. [Citation Graph (, )][DBLP]
   
   
10. 
    Verification of Fine-grain Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
11. 
    Expressiveness of Process Algebras. [Citation Graph (, )][DBLP]
    
    
12. 
    Encoding Distributed Process Calculi into LMNtal. [Citation Graph (, )][DBLP]
    
    
13. 
    A Coalgebraic Theory of Reactive Systems. [Citation Graph (, )][DBLP]