The complexity inherent to concurrent systems can turn their development into a very
complex and error-prone task. The use of formal languages like CSP and tools that support
them simplifies considerably the task of developing such systems. This process, however,
usually aims at reaching an executable program: a translation between the specification
language and a practical programming language is still needed and is usually rather
problematic. In this paper we present a translation framework and a tool, csp2hc, that …

The complexity of development and analysis is inherent to systems in general, especially in
concurrent systems. When working with critical systems this becomes much more evident, as
inconsistencies are usually associated with a high cost. Thus, the sooner we can identify an
inconsistency in the design of a system and remove it, the lower its cost. For this reason, it is
common to use strategies to reduce the difficulty and problems faced in this process. One of
these strategies is the use of formal methods, which can, for instance, make use of process …