BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 /
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , |
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.