BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 /
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin ; New York :
Springer,
c1997.
|
| Σειρά: | Electronic workshops in computing
|
| Θέματα: |
Πίνακας περιεχομένων:
- 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.