Sciweavers

Share
ICFEM
2004
Springer

From Circus to JCSP

10 years 9 months ago
From Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, we present rules to translate Circus programs to Java programs that use JCSP, a library that implements CSP constructs. These rules can be used as a complement to the Circus algebraic refinement technique, or as a guideline for implementation. They are a link between the results on refinement in the context of Circus and a practical programming language in current use. The rules can also be used as the basis for a tool that mechanises the translation.
Marcel Oliveira, Ana Cavalcanti
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICFEM
Authors Marcel Oliveira, Ana Cavalcanti
Comments (0)
books