Outputs (2)

Simulating microprocessor systems using occam and a network of transputers (1989)
Journal Article
Gorton, I., Kerridge, J., & Jervis, B. (1989). Simulating microprocessor systems using occam and a network of transputers. IEE proceedings. Part E, Computers and digital techniques, 136(1), 22-28. https://doi.org/10.1049/ip-e.1989.0004

The simulation at component level of microprocessor systems provides a precise technique for evaluating the design of a system with regards to its requirements specification. The paper describes the use of occam to simulate individual microprocessor... Read More about Simulating microprocessor systems using occam and a network of transputers.

Design, abstract data types and occam (1989)
Conference Proceeding
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.