Implementing SDL in occam
暂无分享,去创建一个
The CCITT Specification and Description Language is widely accepted as a standard for use in the design of software in the telecommunications industry. The paper considers the implementation of this language on transputers using occam. This raises some common issues in the use of occam. The paper presents a novel implementation that demonstrates the performance gain that can be achieved through judicious use of the constructs available in occam. The transputer implementation of occam does not suit the authors' requirements and forces them to adopt a different coding, which is more conventional and much less efficient. >
[1] David May,et al. A Tutorial Introduction To Occam Programming , 1987 .
[2] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[3] R. Tinker. A practical specification and description technique , 1985 .
[4] Roberto Saracco,et al. SDL - CCITT Specification and Description Language , 1982, IEEE Transactions on Communications.
[5] Donald D. Cowan,et al. Reachability analysis of protocols with FIFO channels , 1983, SIGCOMM 1983.