Unbounded Nondeterminism in CSP
暂无分享,去创建一个
[1] C. A. R. Hoare,et al. A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.
[2] Bill Roscoe,et al. An Operational Semantics for CSP , 1986 .
[3] G. M. Reed. A uniform mathematical theory for real-time distributed computingT , 1988 .
[4] A. W. Roscoe,et al. A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..
[5] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[6] A. W. Roscoe,et al. An Improved Failures Model for Communicating Processes , 1984, Seminar on Concurrency.
[7] Stephen Blamey,et al. The soundness and completeness of axioms for CSP processes , 1991 .
[8] A. W. Roscoe,et al. Metric Spaces as Models for Real-Time Concurrency , 1987, MFPS.
[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[10] Andrew William Roscoe. A mathematical theory of communicating processes , 1982 .