From Circus to JCSP

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

Volumn 3308, Issue , 2004, Pages 320-340

  Oliveira, Marcel ^a   Cavalcanti, Ana ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Concurrency; Object orientation; Program development

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE;

CONCURRENCY; JAVA PROGRAM; OBJECT ORIENTATION; PROGRAM DEVELOPMENT; REACTIVE PROGRAMS; REFINEMENT CALCULI; REFINEMENT STRATEGY; REFINEMENT TECHNIQUES;

JAVA PROGRAMMING LANGUAGE;

EID: 35048900250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_29     Document Type: Article

References (21)

1. 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, 2000. Available at http://www.cin.ufpe.br/∼Imf.
2. A. L. C. Cavalcanti, A. C. A. Sampaio, and J. C. P. Woodcock. A Refinement Strategy for Circus. Formal Aspects of Computing, 15(2-3):146-181, 2003.
3. 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.
4. C. Fischer. Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, Fachbereich Informatik, Universität Oldenburg, Oldenburg - Germany, 2000.
5. A. J. Galloway. Integrated Formal Methods with Richer Methodological Profiles for the Development of Multi-perspective Systems. PhD thesis, University of Teeside, School of Computing and Mathematics, 1996.
6. G. Hilderink, J. Broenink, W. Vervoort, and A. Bakkers. Communicating Java Threads. In Parallel Programming and Java Conference, 1997.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
8. C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
9. A. A. McEwan. Concurrent Program Development. PhD thesis, Oxford University Computing Laboratory, Oxford - UK, 2000. To appear.
10. Carroll Morgan. Programming from Specifications. Prentice-Hall, 2nd edition, 1994.
11. M. V. M. Oliveira. A Refinement Calculus for Circus - Mini-thesis. Mini-thesis 8-04, University of Kent, Canterbury, CT2 7NF, UK, April 2004.
12. M. V. M. Oliveira. From Circus to JCSP - Summation Example Source Code, 2004. At http://www.cs.kent.ac.uk/∼mvmo2/circus/summation.pdf.
13. M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock. Refining Industrial Scale Systems in Circus. In Ian East, Jeremy Martin, Peter Welch, David Duce, and Mark Green, editors, Communicating Process Architectures. IOS Press, September 2004. To Appear.
14. P.H.Welch, G.S.Stiles, G.H.Hilderink, and A.P.Bakkers. CSP for Java : Multi-threading for All. In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.
15. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, 1998.
16. A. W. Roscoe, J. C. P. Woodcock, and L. Wulf. Non-interference through Determinism. In D. Gollmann, editor, ESORICS 94, volume 1214 of Lecture Notes in Computer Science, pages 33-54. Springer-Verlag, 1994.
17. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, 2nd edition, 1992.
18. K. Taguchi and K. Araki. The State-based CCS Semantics for Concurrent Z Specification. In M. Hinchey and Shaoying Liu, editors, International Conference on Formal Engineering Methods, pages 283-292. IEEE, 1997.
19. J. C. P. Woodcock. Using Circus for Safety-Critical Applications. In VI Brazilian Workshop on Formal Methods, pages 1-15, Campina Grande, Brazil, 12th-14st October 2003.
20. J. C. P. Woodcock and A. L. C. Cavancanti. Circus: a concurrent refinement language. Technical report, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD UK, July 2001.
21. J. C. P. Woodcock and J. Davies. Using Z - Specification, Refinement, and Proof. Prentice-Hall, 1996.