Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 241, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Synchronous Multiparty Session Types. [Citation Graph (, )][DBLP]
   
   
3. 
   Session-based Choreography with Exceptions. [Citation Graph (, )][DBLP]
   
   
4. 
   Compiling the pi-calculus into a Multithreaded Typed Assembly Language. [Citation Graph (, )][DBLP]
   
   
5. 
   Encapsulation and Dynamic Modularity in the pi-calculus. [Citation Graph (, )][DBLP]
   
   
6. 
   Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP]
   
   
7. 
   Synchronization as a Special Case of Access Control. [Citation Graph (, )][DBLP]
   
   
8. 
   A Symbolic Semantics for a Calculus for Service-Oriented Computing. [Citation Graph (, )][DBLP]