The ECSP Language and Its Implementation

• Articles • Previous Articles Next Articles

The ECSP Language and Its Implementation

Zheng Jianping; Song Guoxing;

East China University of Chemical Technology; Shanghai 200237;

Online:1991-07-10 Published:1991-07-10

Abstract

Zheng Jianping; Song Guoxing;. The ECSP Language and Its Implementation[J]., 1991, 6(4): 362-369.

[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.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 10

[1]	Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2]	Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3]	Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4]	Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5]	Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6]	Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7]	Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8]	Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9]	Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10]	Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .