|
• Articles • Previous Articles Next Articles
Zheng Jianping; Song Guoxing;
[1] Apt,K., Proving correctness of CSP programs:a tutorial. In:Control Flow acrd Data Flow:Concepts of Disrribuled Progranvning, Manfred Broy Ed., Springer-Verlag, Berlin, Heiderberg, 1985. [2] Hoare.C.A.R., Communicating sequential processes. Convre.of ACM, 21:8 (1978), 666-677. [3] Plotkin.G.D., An operational semantics for CSP.In:Formal Description of Progranvning Concepts, D.Bjorner Ed., North-Holland, IFIP 1983,199-225. |
No related articles found! |
|
|