Abstract:An occam program is usually translated into a machine program executed in parallel with a set of system processes such as communication protocol and scheduler, where the target program appears in a form which cannot be adequately modelled in a purely communication-based parallel language since concurrent components share variables. This paper presents a mathematical theory for a hybrid language equipped with a parallel construct, whose sub-processes can communicate with each other via both channels and shared variables. We examine the algebraic laws of the language, and show how they can help in the implementation of concurrency and synchronised communication of occam.

Hybrid Parallel Programming and Implementation of Synchronised Communication