A lisp-based occam interpreter

The OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing them on commercially availabe transputers. Unfortunately, this environment requires that all components be written in OCCUM instead of being able to describe parts of the program with behavioural models written in a more powerful language. The interpreter described here solves this problem. It allows programs to be written in OCCAM with behavioural descriptions in Lisp. A number of large programs which take advantage of this powerful environment have been implemented and tested.