Volume 214,
June 2008
Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 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
- Marcel Oliveira, Ana 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
Last update Tue Feb 14 04:17:32 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
