Communicating sequential processes
Communicating sequential processes
Programming in Occam
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Concurrency in Ada (2nd ed.)
Concurrent Systems: Formal Development in CSP
Concurrent Systems: Formal Development in CSP
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Hardware Design and Simulation in Val-VHDL
Hardware Design and Simulation in Val-VHDL
Stepwise Refinement of Action Systems
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Automatic translation from Circus to Java
FM'06 Proceedings of the 14th international conference on Formal Methods
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
| Hi-index | 0.00 |
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 implements it. This framework provides an automatic translation from a subset of CSP to Handel-C, a programming language that is similar to standard C, but whose programs can be converted to produce files to program an FPGA.