Volume 259,
December 2009
- Eerke A. Boiten, John Derrick, Steve Reeves:
Preface.
1
- César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement.
3-19
- John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement: Automata.
21-34
- Steve Dunne:
Of wlp and CSP.
35-45
- Stefan Hallerstede:
Proving Quicksort Correct in Event-B.
47-65
- Wim H. Hesselink, M. I. Lali:
Formalizing a Hierarchical File System.
67-85
- John Howse, Steve Schuman, Gem Stapleton, Ian Oliver:
Diagrammatic Formal Specification of a Configuration Control Platform.
87-104
- Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting.
105-121
- Carroll Morgan:
How to Brew-up a Refinement Ordering.
123-141
- Viorel Preoteasa, Ralph-Johan Back:
Data Refinement of Invariant Based Programs.
143-163
- T. M. Rabehaja, Jeff W. Sanders:
Data Refinement with Probability in Mind.
165-176
- Steve Reeves, David Streader:
Guarded Operations, Refinement and Simulation.
177-191
- Thomas Ruhroth, Heike Wehrheim:
Static Class Elements for Object-Z.
193-205
- Jeff W. Sanders, Graeme Smith:
Refining Emergent Properties.
207-223
- Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower.
225-243
Copyright © Mon Mar 15 04:01:00 2010
by Michael Ley (ley@uni-trier.de)
