Electronic Notes in Theoretical Computer Science, Volume 214

Volume 214, June 2008

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