Electronic Notes in Theoretical Computer Science, Volume 250

Volume 250, Number 1, September 2009

• Michael Goldsmith, Bill Roscoe:
  Preface. 1-2
  
• Adam Antonik, Michael Huth:
  On the Complexity of Semantic Self-minimization. 3-19
  
• Paolo Ballarini, András Horváth:
  Compositional Model Checking of product-form CTMCs. 21-37
  
• Lyes Benalycherif, Anthony McIsaac:
  A Semantic Condition for Data Independence and Applications in Hardware Verification. 39-54
  
• Jeremy Dawson:
  Isabelle Theories for Machine Words. 55-70
  
• Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn:
  Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. 71-86
  
• Douglas Graham, Muffy Calder, Alice Miller:
  An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. 87-103
  
• Mohammad Izadi, Ali Movaghar:
  Compositional Failure-based Equivalence of Constraint Automata. 105-122
  
• Jan Jürjens:
  Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie Project. 123-136
  
• Rahul Kumar, Eric G. Mercer, Annette Bunker:
  Improving Translation of Live Sequence Charts to Temporal Logic. 137-152
  
• Gavin Lowe:
  On CSP Refinement Tests That Run Multiple Copies of a Process. 153-170
  
• Tomasz Mazur, Gavin Lowe:
  Counter Abstraction in the CSP/FDR setting. 171-186
  

Volume 250, Number 2, September 2009

• Alice Miller, Muffy Calder:
  Preface. 1-2
  
• Alastair F. Donaldson:
  Vector Symmetry Reduction. 3-18
  
• Karim Kanso, Faron Moller, Anton Setzer:
  Automated Verification of Signalling Principles in Railway Interlocking Systems. 19-31
  
• Rahul Kumar, Eric G. Mercer:
  Verifying Communication Protocols Using Live Sequence Chart Specifications. 33-48
  
• Toby C. Murray, Gavin Lowe:
  On Refinement-Closed Security Properties and Nondeterministic Compositions. 49-68
  
• Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe:
  CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. 69-84
  
• Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi:
  Light-Weight SMT-based Model Checking. 85-102
  
• Shamim Ripon, Michael J. Butler:
  PVS Embedding of cCSP Semantic Models and Their Relationship. 103-118
  
• D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe:
  The Stable Revivals Model in CSP-Prover. 119-134
  
• Heike Wehrheim, Daniel Wonisch:
  Compositional CSP Traces Refinement Checking. 135-151