Refinement in object-Z and CSP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2335, Issue , 2002, Pages 225-244

  Bolton, Christie ^a   Davies, Jim ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; FORMAL METHODS; SEMANTICS;

DATA REFINEMENTS; DENOTATIONAL SEMANTICS; FAILURES REFINEMENT; FAILURES-DIVERGENCES; INFORMATION CONTENTS; REFINEMENT ORDERINGS; RELATIONAL MODEL; RELATIONAL SEMANTICS;

COMPUTER OPERATING PROCEDURES;

EID: 84944194378     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47884-1_13     Document Type: Conference Paper

References (22)

1. R. J. R. Back and R. Kurki-Suonio. Decentralisation of process nets with centralised control. In In 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983.
2. C. Bolton. On the refinement of state-based and event-based models. PhD thesis, University of Oxford, January 2002. Submitted for examination.
3. C. Bolton and J. Davies. A singleton failures semantics for communicating sequential processes, 2001. Submitted to Formal Aspects of Computing.
4. C. Bolton, J. Davies, and J. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of Integrated Formal Methods (IFM’99). Springer, 1999.
5. M. J. Butler. A CSP approach to action systems. PhD thesis, University of Oxford, 1992.
6. J. Derrick and E. Boiten. Refinement in Z and Object-Z. Springer, 2001.
7. E. W. Dijkstra. A discipline of Programming. Prentice Hall, 1976.
8. R. Duke, G. Rose, and G. Smith. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, 17, 1995.
9. C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg, 2000.
10. J. He. Process refinement. In J. McDermid, editor, The theory and practice of refinement. Butterworths, 1989.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. C. A. R. Hoare, J. He, and J. W. Sanders. Prespecification in data refinement. Information Processing Letters, 1987.
13. M. B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9–18, 1988.
14. C.C. Morgan. Of wp and CSP. In W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer-Verlag, 1990.
15. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, 1998.
16. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1997.
17. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7, 1995.
18. G. Smith. A semantic integration of Object-Z and CSP. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, Proceedings of Formal Methods Europe (FME’97), volume 1313 of Lecture Notes in Computer Science. Springer Verlag, 1997.
19. G. Smith. The Object-Z specification language. Kluwer Academic Publishers, 2000.
20. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M. Hinchey and Shaoying Liu, editors, Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM’97). IEEE Computer Society, 1997.
21. J. M. Spivey. The Z notation: a reference manual. Prentice Hall, 1992.
22. J. C. P. Woodcock and C. C. Morgan. Refinement of state-based concurrent systems. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z: Formal methods in software development. Springer, 1990.