Electronic Notes in Theoretical Computer Science, Volume 214
Volume 214, June 2008
- 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
- Neil Evans: Refinement for Pipelining in Event-B. 183-202
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team