Design, abstract data types and occam
Kerridge, J., Wright, S., & Oates, R. (1989). Design, abstract data types and occam. In Applying Transputer Based Parallel Machines: OUG-10, proceedings of the 10th Occam User Group Technical Meeting (29-45)
A design methodology is presented whereby abstract data types are mapped onto occam processes. For each function a command and reply protocol is specified. Attention is paid to the formal specification. The method may be useful in obtaining a paralle... Read More about Design, abstract data types and occam.