论文信息 - The Probe: An Addition to Communication Primitives - 字舞流文

The Probe: An Addition to Communication Primitives

Alain J. Martin

[1] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[2] Arthur J. Bernstein,et al. Output Guards and Nondeterminism in “Communicating Sequential Processes” , 1980, TOPL.

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