Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 229, number: 4

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Agile Modelling of Cellular Signalling (Invited Paper). [Citation Graph (, )][DBLP]
   
   
3. 
   MarCaSPiS: a Markovian Extension of a Calculus for Services. [Citation Graph (, )][DBLP]
   
   
4. 
   Relational Semantics Revisited. [Citation Graph (, )][DBLP]
   
   
5. 
   Implicit Propagation in Structural Operational Semantics. [Citation Graph (, )][DBLP]
   
   
6. 
   Formalisation of C Language Interfaces. [Citation Graph (, )][DBLP]
   
   
7. 
   Structural Operational Semantics with First-Order Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Automating Soundness Proofs. [Citation Graph (, )][DBLP]