Electronic Notes in Theoretical Computer Science, Volume 118

Volume 118, February 2005

• Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
  Preface. 1-
  
• Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena:
  Insights to Angluin's Learning. 3-18
  
• Benjamin Aziz, Geoff W. Hamilton, David Gray:
  A Denotational Approach to the Static Analysis of Cryptographic Processes. 19-36
  
• Girish Keshav Palshikar, Purandar Bhaduri:
  Verification of Scenario-based Specifications using Templates. 37-55
  
• Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli:
  Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. 57-70
  
• Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath:
  Verifying a UMTS Protocol Using Spin and EASN. 71-85
  
• Qian Wang, Gopal Gupta:
  Provably Correct Code Generation: A Case Study. 87-109
  
• Naijun Zhan:
  Compositional Properties of Sequential Processes. 111-128
  
• Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante:
  A Trace Logic for Local Security Properties. 129-143
  
• Thomas Noll:
  Equational Abstractions for Model Checking Erlang Programs. 145-162