From CSP-OZ to Java with processes

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002

Volumn , Issue , 2002, Pages 208-215

  Cavalcanti, A ^a   Sampaio, A ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84966586652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2002.1016617     Document Type: Conference Paper

References (20)

1. P. H. M. Borba. Where are the Laws of Object-oriented Programming? In I Brazilian Workshop on Formal Methods, pages 59-70, Porto Alegre, Brazil, 19th-21st October 1998.
2. P. H. M. Borba and A. C. A. Sampaio. Basic Laws of ROOL: an object-oriented language. In 3rd Workshop on Formal Methods, pages 33 - 44, Brazil, 2000.
3. S. M. Brien and J. E. Nicholls. Z Base Standard, Version 1.0. Technical Monograph TM-PRG-107, Oxford University Computing Laboratory, Oxford - UK, Nov. 1992.
4. D. Carrington, D. Duke, R. Duke, P. King, G. A. Rose, and G. Smith. Object-Z: An Object-oriented Extension to Z. Formal Description Techniques, II (FORTE'89), pages 281-296, 1990.
5. A. L. C. Cavalcanti and D. Naumann. A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In J. M. Wing, J. C. P. Woodcock, and J. Davies, editors, FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1439-1459. Springer-Verlag, Sept. 1999.
6. A. L. C. Cavalcanti and D. A. Naumann. A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26(8):713-728, Aug. 2000.
7. A. L. C. Cavalcanti and A. C. A. Sampaio. From CSP-OZ to Java with Processes (Extended Version). Technical report, Centro de Informática/UFPE, 2001. Available at http://www.cin.ufpe.br/?lmf.
8. A. L. C. Cavalcanti and J. C. P. Woodcock. ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, 10(3):267-289, 1999.
9. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowmann and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), volume 2, pages 423-438. Chapman & Hall, 1997.
10. C. Fischer. Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, Fachbereich Informatik Universitat Oldenburg, 2000.
11. C. Fischer and H. Wehrheim. Model-Checking CSP-OZ Specifications with FDR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pages 315-334. Springer, 1999.
12. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
13. G. Hilderink, J. Broenink, W. Vervoort, and A. Bakkers. Communicating Java Threads. In Parallel Programming and Java Conference, 1997.
14. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
15. G. Jones and M. Goldsmith. Programming in occam 2. Prentice-Hall, 1988.
16. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
17. C. C. Morgan. Programming from Specifications. Prentice-Hall, 2nd edition, 1994.
18. A. C. Mota and A. C. A. Sampaio. Model-checking CSP-Z. In TAPSOFT'98, 1998.
19. A. C. Mota and A. C. A. Sampaio. Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming, 40:59-96, 2001.
20. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, 1998.