BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 /

Saved in:
Bibliographic Details
Corporate Authors: Refinement Workshop Bath, England, British Computer Society
Other Authors: Cooke, John, 1947-, Jifeng, He, 1943-, Wallis, Peter J. L.
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c1997.
Series:Electronic workshops in computing
Subjects:
Table of Contents:
  • Interpreting Nondeterminism in the Refinement Calculus / R. J. R. Back and J. von Wright
  • Using Temporal Fixedpoint to Compositionally Reason about Liveness / B. Moszkowski
  • Chopping a Point / Zhou Chaochen and Michael R. Hansen
  • Calculational Derivation of Algorithms on Tree-Based Pointer Structures / Michael Butler
  • A Tool for Developing Correct Programs by Refinement / D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh
  • On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation / A. Dekdouk and A. Schaff
  • Procedures in the Refinement Calculus: A New Approach? / Lindsay Groves
  • Design and Verification of a Coherent Shared Memory / He Jifeng, A. McIsaac and G. Barrett
  • Experiences in Applying the Formal VSE Development Method in Industry / F. Koob, M. Ullmann and S. Wittmann
  • Development of Concurrent Systems in B AMN / K. Lano and J. Dick.
  • Specification of the Dynamic Channel Selection (DCS) in DECT / N. A. Lobo
  • Proof Rules for Probabilistic Loops / Carroll Morgan
  • Separating Algorithm and Implementation in the Refinement of Parallel Program Specifications / Denis Roegel
  • Models for Configuration Management of Refinement Calculus Developments / Kelvin J. Ross
  • A Real-Time Refinement Calculus that Changes only Time / M. Utting and C. Fidge
  • On Compositionality in Refining Concurrent Systems / Xu Qiwen.