Electronic Notes in Theoretical Computer Science, Volume 214

Volume 214, June 2008

• Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
  Preface. 1
  
• Wim H. Hesselink:
  Simulation Refinement for Concurrency Verification. 3-23
  
• Gerhard Schellhorn:
  Completeness of ASM Refinement. 25-49
  
• Emil Sekerinski:
  An Algebraic Approach to Refinement with Fair Choice. 51-79
  
• Georg Struth:
  Modal Tools for Separation and Refinement. 81-101
  
• Alexandre Madeira:
  Observational Refinement Process. 103-129
  
• Maria Spichkova:
  Refinement-Based Verification of Interactive Real-Time Systems. 131-157
  
• Andrew Edmunds, Michael Butler:
  Linking Event-B and Concurrent Object-Oriented Programs. 159-182
  
• Neil Evans:
  Refinement for Pipelining in Event-B. 183-202
  
• M. V. M. Oliveira, A. L. C. Cavalcanti:
  ArcAngelC: a Refinement Tactic Language for Circus. 203-229
  
• Christine Choppy, Micaela Mayero, Laure Petrucci:
  Experimenting Formal Proofs of Petri Nets Refinements. 231-254
  
• John Derrick, Eerke A. Boiten:
  More Relational Concurrent Refinement: Traces and Partial Relations. 255-276
  
• Steve Reeves, David Streader:
  General Refinement, Part One: Interfaces, Determinism and Special Refinement. 277-307
  
• Steve Reeves, David Streader:
  General Refinement, Part Two: Flexible Refinement. 309-329
  
• H.-Christian Estler, Heike Wehrheim:
  Alloy as a Refactoring Checker? 331-357
  
• Graeme Smith, Tim McComb:
  Refactoring Real-time Specifications. 359-380