A Model for Communicating Sequential Processes
暂无分享,去创建一个
[1] Edsger W. Dijkstra,et al. Guarded commands, non-determinacy and a calculus for the derivation of programs , 1975, Language Hierarchies and Interfaces.
[2] Liz Sonenberg,et al. Fixed Point Theorems and Semantics: A Folk Tale , 1982, Inf. Process. Lett..
[3] Robin Milner,et al. Concurrent Processes and Their Syntax , 1979, JACM.
[4] Andrew William Roscoe. A mathematical theory of communicating processes , 1982 .
[5] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[6] C. A. R. Hoare,et al. Some Properties of Predicate Transformers , 1978, JACM.
[7] Robin Milner,et al. A Finite Delay Operator in Synchronous CCS. , 1982 .
[8] Jayadev Misra,et al. An Axiomatic Proof Technique for Networks of Communicating Processes , 1979 .
[9] Gordon Plotkin,et al. An Operational Semantics for CSP. , 1982 .
[10] Mordechai Ben-Ari,et al. Principles of concurrent programming , 1982 .
[11] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[12] C. A. R. Hoare. A Calculus of Total Correctness for Communicating Processes , 1981, Sci. Comput. Program..
[13] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[14] W. Li,et al. A First Attempt at Translating CSP into CCS , 1981, ICDCS.
[15] Glynn Winskel,et al. Event Structure Semantics for CCS and Related Languages , 1982, ICALP.
[16] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[17] Robin Milner,et al. On relating synchrony and asynchrony , 1980 .
[18] Willem P. de Roever,et al. A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..