Electronic Notes in Theoretical Computer Science, Volume 201

Volume 201, March 2008

Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BoitenDS08
- ask others
Eerke A. Boiten, John Derrick, Graeme Smith: Preface. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BanachS08
- ask others
Richard Banach, Gerhard Schellhorn: On the Refinement of Atomic Actions. 3-30
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BoitenG08
- ask others
Eerke A. Boiten, Dan Grundy: Reduction and Refinement. 31-44
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/EvansG08
- ask others
Neil Evans, Neil Grant: Towards the Formal Verification of a Java Processor in Event-B. 45-67
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Groves08
- ask others
Lindsay Groves: Trace-based Derivation of a Lock-Free Queue Algorithm. 69-98
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mooij08
- ask others
Arjan J. Mooij: Constructing and Reasoning About Security Protocols Using Invariants. 99-126
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/OgataF08
- ask others
Kazuhiro Ogata, Kokichi Futatsugi: Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. 127-154
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/DerrickS08
- ask others
John Derrick, Graeme Smith: Using Model Checking to Automatically Find Retrieve Relations. 155-175
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MeinickeS08
- ask others
Larissa Meinicke, Kim Solin: Refinement Algebra for Probabilistic Programs. 177-195
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HofnerS08
- ask others
Peter Höfner, Georg Struth: Can Refinement be Automated? 197-222
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/TuominenWP08
- ask others
Johanna Tuominen, Tomi Westerlund, Juha Plosila: Power Aware System Refinement. 223-253
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Wehrheim08
- ask others
Heike Wehrheim: Refinement in the Presence of Unknowns. 255-264