Automatic translation from Circus to Java

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

Volumn 4085 LNCS, Issue , 2006, Pages 115-130

  Freitas, Angela ^a   Cavalcanti, Ana ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INTERFACES (COMPUTER); NETWORK PROTOCOLS; SYNCHRONIZATION;

CIRCUS PROGRAMS; GRAPHICAL INTERFACE; STATE-RICH REACTIVE SYSTEMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33749379495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_9     Document Type: Conference Paper

References (17)

1. J. C. P. Woodcock and A. L. C. Cavalcanti. A Concurrent Language for Refinement. In 5th Irish Workshop on Formal Methods, 2001.
2. J. C. P. Woodcock and J. Davies. Using Z - Specification, Refinement, and Proof. Prentice-Hall, 1996.
3. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
4. C. A. R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
5. M. V. M. Oliveira. A Refinement Calculus for Circus. PhD thesis, Department of Computer Science, The University of York, 2005.
6. P. H. Welch. Process Oriented Design for Java: Concurrency for All. In International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), 2000.
7. Z Standards Panel. Formal Specificationn - Z Notation - Syntax, Type and Semantics -Consensus Working Draft 2.6, 2000. At http://www.cs.york.ac.uk/ian/zstan/.
8. M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock. Refining Industrial Scale Systems in Circus. In Communicating Process Architectures, 2004.
9. The occam archive. At http://vl.fmnet.info/occam/.
10. A. Freitas. From Circus to Java: Implementation and Verification of a Translation Strategy. Master's thesis, Department of Computer Science, The University of York, 2005.
11. Java Development Kit. http://java.sun.com/javase/.
12. J. C. P. Woodcock. Using Circus for Safety-Critical Applications. In VI Brazilian Workshop on Formal Methods, 2003.
13. P. Malik and M. Utting. CZT: A Framework for Z Tools. In 5th International Conference of Z and B Users (ZB 2005), 2005.
14. M. Xavier. Definição Formal e Implementação do Sistema de Tipos para a Linguagem Circus. Master's thesis, Centro de Informática, Universidade Federal de Pernambuco, Brazil, 2006. To be submitted.
15. L. Freitas. Model checking Circus. PhD thesis, Department of Computer Science, The University of York, 2005.
16. J. D. Phillips and G. S. Stiles. An Automatic Translation of CSP to Handel-C. In Communicating Process Architectures, 2004.
17. V. Raju, L. Rong, and G. S. Stiles. Automatic Conversion of CSP to CTJ, JCSP, and CCSP. In Communicating Process Architectures, 2003.