Electronic Notes in Theoretical Computer Science, Volume 187

Volume 187, July 2007

• Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
  Preface. 1
  Electronic Edition (link) BibTeX
• H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim:
  Modelchecking Correctness of Refactorings - Some Experiments. 3-17
  Electronic Edition (link) BibTeX
• Leo Freitas, Jim Woodcock:
  FDR Explorer. 19-34
  Electronic Edition (link) BibTeX
• John Derrick, Eerke A. Boiten:
  Relational Concurrent Refinement with Internal Operations. 35-53
  Electronic Edition (link) BibTeX
• Lindsay Groves, Robert Colvin:
  Derivation of a Scalable Lock-Free Stack Algorithm. 55-74
  Electronic Edition (link) BibTeX
• Graeme Smith, Kirsten Winter:
  Simulation Machines for Checking Action System Refinements. 75-90
  Electronic Edition (link) BibTeX
• Tomi Westerlund, Juha Plosila:
  Time Aware System Refinement. 91-106
  Electronic Edition (link) BibTeX
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  A Denotational Semantics for Circus. 107-123
  Electronic Edition (link) BibTeX
• Bernhard K. Aichernig, Jifeng He:
  Refinement and Test Case Generation in UTP. 125-143
  Electronic Edition (link) BibTeX
• Xiaojian Liu, Zhiming Liu, Liang Zhao:
  Object-Oriented Structure Refinement - A Graph Transformational Approach. 145-159
  Electronic Edition (link) BibTeX
• K. S. Cheung, K. O. Chow:
  A Petri Net Based Method for Refining Object Oriented System Specifications. 161-172
  Electronic Edition (link) BibTeX
• David Hemer:
  Semi-Automated Component-Based Development of Formally Verified Software. 173-188
  Electronic Edition (link) BibTeX