论文信息 - A Comparison of Two Notations for Process Communication

A Comparison of Two Notations for Process Communication

This paper compares the mechanisms for process communication, synchronisation and non-determinism in recent language proposals by Hoare and Brinch Hansen, by both qualitative and quantitative analyses. A significant variation in effectiveness with program class is shown.

Jim Welsh | Andrew M. Lister | Eric J. Salzman | J. Welsh | A. Lister

[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[2] James L. Elshoff,et al. An investigation into the effects of the counting method used on software science measurements , 1978, SIGP.

[3] Niklaus Wirth,et al. Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..

[4] Jim Welsh,et al. Pascal‐plus—another language for modular multiprogramming , 1979, Softw. Pract. Exp..

[5] Per Brinch Hansen,et al. The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[6] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[7] Maurice H. Halstead,et al. Elements of software science , 1977 .

[8] Per Brinch Hansen,et al. Operating System Principles , 1973 .

[9] Tom Love,et al. A Review and Evaluation of Software Science , 1978, CSUR.