摘要:
acm.org
ed.ac.uk
sci-hub.se 参考文章(8)
Gilles Kahn, David B. MacQueen, Coroutines and Networks of Parallel Processes ifip congress. pp. 20- ,(1976)
Stephen L. Bloom, Varieties of ordered algebras Journal of Computer and System Sciences. ,vol. 13, pp. 200- 212 ,(1976) , 10.1016/S0022-0000(76)80030-X
George Milne, Robin Milner, Concurrent Processes and Their Syntax Journal of the ACM. ,vol. 26, pp. 302- 321 ,(1979) , 10.1145/322123.322134
G. Markowsky, B. K. Rosen, Bases for chain-complete posets Ibm Journal of Research and Development. ,vol. 20, pp. 138- 147 ,(1976) , 10.1147/RD.202.0138
J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright, Initial Algebra Semantics and Continuous Algebras Journal of the ACM. ,vol. 24, pp. 68- 95 ,(1977) , 10.1145/321992.321997
Per Brinch Hansen, Distributed processes Communications of the ACM. ,vol. 21, pp. 934- 941 ,(1978) , 10.1145/359642.359651
Tony Hoare, Communicating Sequential Processes ,(1985)
C. A. R. Hoare, Communicating sequential processes Communications of the ACM. ,vol. 21, pp. 666- 677 ,(1978) , 10.1145/359576.359585