A comparison or refinement orderings and their associated simulation rules

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 3, 2002, Pages 297-310

  Bolton, Christie ^a   Davies, Jim ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; FORMAL LANGUAGES; LARGE SCALE SYSTEMS;

ABSTRACT DATA TYPES; DATA REFINEMENT; REFINEMENT ORDERINGS;

COMPUTER SCIENCE;

EID: 23844480056     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82563-0     Document Type: Conference Paper

References (25)

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 and J. Davies. Refinement in object-z and csp. In M. Butler, K. Sere, and L. Petre, editors, Proceedings of Integrated Formal Methods (IFM'02), Lecture Notes in Computer Science. Springer Verlag, 2002. To appear.
5. 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.
6. H. Bowman and J. Derrick. A junction between state-based and behavioural specification. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS '99). Kluwer, 1999.
7. M. J. Butler. A CSP approach to action systems. PhD thesis, University of Oxford, 1992.
8. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science, 1998.
9. J. Derrick and E. Boiten. Refinement in Z and Object-Z. Springer, 2001.
10. R. Duke, G. Rose, and G. Smith. Object-Z: a specification language advocated for the description of standards. Computer Standards and Interfaces, 17, 1995.
11. C. Fischer. Combination and implementation of processes and data: from CSP-OZ to Java. PhD thesis, University of Oldenburg, 2000.
12. J. He. Process refinement. In J. McDermid, editor, The theory and practice of refinement. Butterworths, 1989.
13. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
14. C. A. R. Hoare, J. He, and J. W. Sanders. Prespecification in data refinement. Information Processing Letters, 1987.
15. M. B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9-18, 1988.
16. L. Lamport. A simple approach to specifying concurrent systems. Communications of the ACM, 32(1), 1989.
17. A. Pnueli. Specification and development of reactive systems. In H.-J. Kugler, editor, Proceedings of (), IFIP, North Holland, 1986. Information Processing.
18. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science, 1998.
19. G. Smith. A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7, 1995.
20. G. Smith. The Object-Z specification language. Kluwer Academic Publishers, 2000.
21. 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.
22. J. M. Spivey. The Z notation: a reference manual. Prentice Hall, 1992.
23. J. C. P. Woodcock and J. Davies. Using Z: specification, proof and refinement. Prentice Hall International Series in Computer Science, 1996.
24. J. C. P. Woodcock, J. Davies, and C. Bolton. Abstract data types and processes. In J. Davies, A. W. Roscoe, and J. C. P. Woodcock, editors, Millennial perspectives in computer science: proceedings of the symposium in honour of Sir Tony Hoare. Palgrave, 2000.
25. 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.